Bug: using interface with generic cause type resolve incorrectly

[BLKTower]

local interface I<L>
    _: L
end
local record A end
local record IA is I<A> end
local record B end
local record IB is I<B> end

local function Create<L, C is I<L>>(l: L, c:C): C
    return {}
end

local function Test(a: A, b: B)
    -- Test 1
    Create(a, IA)
    Create(b, IB) -- Error: argument 2: given type IB does not satisfy I<L> constraint in type variable C
    Create(b, IA) -- No error, but it should.
    -- Test 2 -- No error if separate 2 function calls in different scope
    -- do
    --     Create(a, IA)
    -- end
    -- do
    --     Create(b, IB)
    -- end    
end

It seems after Create first gets called, all the following function calls in the same scope will use the same type resolve results.
Desired behavior: the teal compiler can resolve the type correctly.

[BLKTower]

Hi @hishamhm , I reported the same issue a while back and ran into this annoying issue again today. Could you take a look when you get time? Thanks.