melindatrace

Implement generalized iteration for looping over dictionaries and arrays with the index/key

3

Luau on May 2022 received an [update](https://devforum.roblox.com/t/luau-recap-may-2022/1818869) which implemented [generalized iteration](https://luau-lang.org/syntax#generalized-iteration). Generalized iteration no longer requires developers to write `pairs` or `ipairs`. From my knowledge, roblox-ts has only one way...

New type solver incorrectly infers function return type as number?

5

I expect `GetValidRandomNumber` to return `number` because the while loop will never exit unless the number is returned, but the solver infers that it returns `number?`. ```luau local function IsValid(x)...

New type solver infers table as {nil} when created with table.create that has no second argument provided

2

```luau local N = 100 local ArrayA = table.create(N) -- {nil} INCORRECT for i = 1, N do ArrayA[i] = 64 -- TypeError: Type 'number' could not be converted into...

New type solver throws unclear type error when returning table with an optional Roblox data type

1

This issue only seems to occur for `Vector3`, `Vector2`, `CFrame`, and other Roblox data types, but not for Luau primitive data types. ```luau local function FuncA(): { Value: Vector3? }...

Intersections of specific function types and the top function type do not normalize correctly

1

I have a `Main` function that will be called twice, and the second time it gets called it will print `64`. However the type solver throws unclear type error. ```luau...

New type solver throws type error with unclear message when return type is optional

1

The new type solver throws type error with unclear message when return type is optional and the return keyword is used without a value. ```luau function RandBool(): boolean? if math.random()...

Svelte 5: structuredClone tries to clone proxy object instead of its contents

15

### Describe the bug Attempting to use `structuredClone` on any stateful object will result in an error with zero indication of a problem before running the code in both JavaScript...

New type solver refuses to accept string literal despite being one of the requested types

2

```luau type Form = "do-not-register" | (() -> ()) local function observer(register: () -> Form) end observer(function() if math.random() > 0.5 then return "do-not-register" -- TypeError: Type 'string' could not...

Type checker fails to properly infer T from a union

1

I expect that variable `b` to be inferred as `number`, because that's what the `T` is. ```luau --!strict type Value = { kind: "value", value: T } local function peek(state:...