(Fix available in PR) index doesn't wait for pending expansion, luau-analyze crashes on this code from the Forums, stack overflow

[karl-police]

This post talks about a crash https://devforum.roblox.com/t/new-type-solver-beta/3155804/43

type Keys = index<typeof(PlayerData), keyof<typeof(PlayerData)>>
Full Code is this one:

--!strict

local PlayerData = {
    Coins = 0,
    Level = 1,
    Exp = 0,
    MaxExp = 100
}

type Keys = index<typeof(PlayerData), keyof<typeof(PlayerData)>>

local function UpdateData(key: Keys, value)
    PlayerData[key] = value
    --Remote:FireClient(player, key, value)
end

UpdateData("Coins", 2)

[karl-police]

I found a fix for this, I believe.

[karl-police]

Fix is here: #1407

[karl-police]

This fix prevents the crash but there's still this:

However, I think that's the code's fault because the purpose was to cause a crash, and not to fix the type error caused by the modification of non-sense, just to crash.

t1 where t1 = {| [index<t1, keyof<t1>>]: unknown, Coins: number, Exp: number, Level: number, MaxExp: number |}

Here is a proof that it parsed I guess:

https://luau-lang.github.io/dcr-timetraveler/

https://paste.ivr.fi/raw/ramydesobo