centau

In module RDL:  In script:  LSP infers the field `Test` as being of type `any` despite it being defined as a function when the functions return value is...

Syntax type highlighting problems

1

Syntax highlighter doesn't recognise intersection `&` and union `|` type operators or recognises type names that come after the operator when declaring variables (e.g `local x: string | number`, `number`...

For loop variables not being typed when using generalized iteration with `__iter` metamethod

2

The typechecker seems to be unable to infer the types of variables declared in the `for ... in` list when using generalized iteration with the `__iter` metamethod defined. 

 source: ```lua type Color = "Red" | "Green" | "Blue" local t: { color: Color } local color = t.color ```

Incorrect "Recursive type being used with different parameters" error

1

Came across a very odd type error in my codebase, managed to create a minimal reproduction below:  Changing the `Bar` type so that the metatable field is not casted...

Screenshots below demonstrate the bug:   Source: ```lua type Foo = typeof(setmetatable( {} :: { Bar: false }, {} :: {} )) local foo: Foo = setmetatable({ Bar =...