OverHash

[New Solver] Intersection of types producing does not have key error

2

Consider this code: ```luau local function runCode(billboard: BillboardGui & { TextLabel: TextLabel, }): () billboard.TextLabel.Text = "Hello" end ``` this produces an error: ``` TypeError: Type 'BillboardGui & { TextLabel:...

Bad error message when passing read property to non-read function

1

In the new solver, the following code: ```luau --!strict type Item = { age: number } type ReadonlyItem = { read age: number } local function birthday(arg: Item): () end...

[New Solver] fails to track type state of explicitly assigned properties

1

Consider this code example: ```luau type Item = { specialAttributes: { string }? } local myItem: Item = {} myItem.specialAttributes = {} table.freeze(myItem.specialAttributes) -- errors! ``` This produces a type...

Consider this code: ```luau --!strict type Item = "Doge" | "Doge2" local function pickItem(): Item return "Doge" end local myItem = pickItem() myItem = "Doge" -- for debugging purposes, force...

Consider this code: ```luau --!strict type Room = { roomNumber: number, model: Model, } local rooms: {Room} = {} local latestRoom: Room? = nil for _, room in rooms do...

Loosen currency conversion units requirements

2

The following input: ``` a1_jet_fuel = $2.057 USD / gal =$2.06 / gal plane_fuel = 330.35 gal/hr =330.35 gal / hr ((a1_jet_fuel * plane_fuel) * 1hr in NZD) / hr...