Dev Chrysalis Dalal

As shown in the following screenshot, the new solver correctly resolves the type of `HumanoidStateTypes` in `HumanoidStateTypes.Freefall` (line 24) but resolves the type of `HumanoidStateTypes` to `never` on subsequent attempts...

[New solver] Type aliases that pass generic parameters into the `setmetatable` type function break the solver when used as type annotations

1

Tested on: - `luau-analyze --fflags=true` with brand new compile of luau-analyze (0.660) - luau lsp (0.660) Minimal repro: ```luau --!strict -- TypeError: Type inference failed to complete, you may see...

Looks like somewhere vectors might be treated as `{ x: number, y: number, z: number }` instead of as a readonly version of that shape? This means this code doesn't...

Using compound assignment operators (`+=`, `-=`, `/=`, `//=`, etc.) on components of a `vector` does not raise a TypeError in strict mode although it causes an error at runtime. Minimal...

[new solver] Incorrect string escape of `{` as `\123` when stringleton returned from a type function

1

Basically, when you have a type function that returns a stringleton (string singleton) which contains `{`, both hovers and TypeErrors containing that stringleton's value show `\123` instead of `{`. Repro:...

In my runtime, I have a function `process.exit` that immediately exits the current process and therefore should return `never`. I find that `error` seems to be special cased or something,...

Tested with latest luau-lsp with all default FFlags enabled. In this case, I expect the `metadata` table created in `semver.from` to be able to qualify as SemverFields.metadata. ```luau local semver...

Using latest version of luau-lsp. ```luau function tt.select(t: { [K]: V }, columns: { K }): { [K]: V } local result = {} if tt.caniteratenormally(t) then for k, v...