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

[1Axen]

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