search

luau-lang / luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua
https://luau-lang.org
MIT License
3.79k stars 349 forks source link

TypeError: Type pack '...any' could not be converted into 'a...' in new solver's strict mode #1281

Open 1Axen opened 1 month ago

1Axen commented 1 month ago

Tested on 0.628, only occurs in --strict mode

--!strict

local T = {}
function T.f()
    return
end

local function g()
    if true then
        T.f()
    end

    T.f() --> Type pack '...any' could not be converted into 'a...'
end