Andy Friesen comments

Results 16 comments of


                                            Andy Friesen

Luau should automatically hoist types for 'intermediary' modules

We've talked about offering a cleaner way to do reexports, but we haven't gotten to the point of writing an RFC for it yet.

Generic typing fails on complex class

I expect that the solution to this problem (and problems like it) will come from https://github.com/Roblox/luau/pull/863

Inferred Table-Mutation & Lookup

This would be pretty challenging to implement. We might be able to get to it someday, but not for awhile.

`table.freeze` returns type `{+ +}` with new solver's strict mode

This is fixed.

In new solver, blocked type introduced unexpectedly in bitwise op heavy code

Minimal reproduction: ```luau --!strict local function f() local a local b local c = a + b print(c + d) end ```

Solver fails in case of multiple numeric operations

The problem here is that we can't pin down an exact type for `amount`. In principle, the solution here would be constrained generics so that we could say something like...