Waffle3z

building and running Luau.CLI.Test.exe in the Debug configuration would stack overflow, this solves that

`next` type errors on refined table type

1

```lua local t: any = {} if type(t) == "table" and next(t) then -- TypeError: Type 'table' could not be converted into '{+ [K]: V +}' print("hello") end ``` possibly...

table.insert incorrect or missing type error message, fails to cast

1

``` local t: { string } = {} table.insert(t, 1) -- does not error but should, 1 is not a string table.insert(t, true) -- TypeError: Type 'boolean' could not be...

type refinement should not erase unrelated fields ``` local t: unknown = {a = true, b = true} if type(t) == "table" then if t.a and t.b then -- TypeError:...

Repro: ``` type A = { s: T, n: number?, } local function f(_a: A) return end f({ s = "hello", n = 1 }) -- TypeError: Type 'number' could...

adds output statements when files are not found, no argument is given, or analysis succeeds. also fixes a prior bug where it would fail to analyze files in any other...

adds types for various functions, fixes type errors