JohnnyMorganz

Cannot index ClassTypeVar's with variable as index

8

Example: ```lua --!strict local inst = Instance.new("Part") local prop = "Name" inst[prop] = "Test" -- Error: Expected type table, got 'Part' instead ``` Not sure if this classifies as a...

Writing common property to a type union errors

3

If you create a type union (e.g., through a type predicate) and then attempt to assign a property which is common to all types within the union, it fails with...

Right now, all local bindings are nicely linked together as they share a pointer to the same `AstLocal`. But the same is not true for type references Consider the following...

Props in `AstStatDeclareClass` currently do not record their typeLocations in the property type created, like AstTypeTables do (following on from #802): https://github.com/luau-lang/luau/blob/e76802f2ce698ca090a793b24c07e336b21ade9f/Analysis/src/TypeInfer.cpp#L1782-L1805 It seems that there is no position stored...

"Cannot iterate over a table without indexer" when using generalised iteration

4

```lua local v = { ["x"] = 1, ["y"] = 2, ["z"] = 3 } -- Or, alternatively -- local v = { -- x = 1, -- y =...

Syntax error when no parens around function union return type

1

I am not sure if this is intentional ```lua type X = () -> () | () -> () -- no syntax error local function foo(): (() -> () |...

Currently, lint warnings only store a code, text, and location. The LSP provides opportunity to link related information to diagnostics, adding text at another location within the file. For a...

In the published API docs used: https://raw.githubusercontent.com/MaximumADHD/Roblox-Client-Tracker/roblox/api-docs/en-us.json for the overloaded `debug.info`, the return type is recorded as `-> Tuple` However, when constructing this documentationSymbol using the function in AstQuery, it...

Function overloads using string singleton arg and fallback `any` always uses fallback

3

Consider the following code: ```lua local foo: ((val: "a") -> number) & ((val: "b") -> string) & ((val: any) -> boolean) = nil local x = foo("a") ``` The type...

The following code triggers the "Unexpected abstract type pack!" ICE (note that the FFlag `LuauReturnAnyInsteadOfICE` is disabled) ```lua local function createUseMemo(useValue) return function(createValue: () -> T..., dependencies: any): T... local...