[New Solver] False positive generic type pack mismatch with instantiated type

[Hunter1831]

I do not expect calling testA(a) to produce a type error given that the type of argument arg has a generic type pack and should accept a type matching TestA<T...> with any instantiated type.

type TestA<T...> = {
    a: (T...) -> (),
    b: (number, T...) -> ()
}

local function testA<T...>(arg:TestA<T...>) end
local a:TestA<string> = nil::any
testA(a) --Fails " Type pack 'number, string' could not be converted into 'T...' "

This issue also seems to persist with multiple arguments defined for property b as well.

type TestB<T...> = {
    a: (T...) -> (),
    b: (number, boolean, T...) -> ()
}

local function testB<T...>(arg:TestB<T...>) end
local b:TestB<string> = nil::any
testB(b) --Fails " Type pack 'number, boolean, string' could not be converted into 'T...' "

Working Cases

Removing the extra number parameter type for property b does not produce the type error

type TestC<T...> = {
    a: (T...) -> (),
    b: (T...) -> ()
}

local function testC<T...>(arg:TestC<T...>) end
local c:TestC<string> = nil::any
testC(c) -- No type error

Additionally, defining types for the generic type pack in the function definition also does not produce the type error

type TestD<T...> = {
    a: (T...) -> (),
    b: (number, T...) -> ()
}

local function testD(arg:TestD<string>) end
local d:TestD<string> = nil::any
testD(d) -- No type error

Finally, if I remove property a it also does not produce a type error

type TestE<T...> = {
    b: (number, T...) -> ()
}

local function testE<T...>(arg:TestE<T...>) end
local e:TestE<string> = nil::any
testE(e) -- No type error