Regression: Sometimes cannot re-use generic identifiers across unrelated functions

[svermeulen]

local record util
end

-- Using 'K' works though:
-- function util.remove<K>(_list:{K}, _item:K)
function util.remove<T>(_list:{T}, _item:T)
   error("not implemented")
end

local function foo<T>(handler:function(T), handlers:{function(T)})
   util.remove(handlers, handler)
end

local handlers:{function(integer)} = {}

local function bar(_value:integer)
   error("not implemented")
end

foo(bar, handlers)

Error:

➜ lua tl check main.tl
========================================
1 error:
main.tl:12:16: argument 1: got {function(T)}, expected {T}
----------------------------------------

[svermeulen]

Should mention that this worked in previous versions of teal. Also - I'm using tl branch fix-905 from #906

[hishamhm]

Could be similar to #908... I wonder if this one is happening only on fix-905 or master as well.

[hishamhm]

As I suspected, fix-905 fixes 905 but breaks this (this test case passes on master but not on fix-905).