Open
Description
Got an error TypeError: Type function instance union<*blocked-259446*, nil> is uninhabited from the code below:
type Typechecker<A> = (A, ...any) -> (boolean, string?)
return function<K, V>(a1: { [K]: V }, a2: { [K]: V }, a3: {[K]: Typechecker<V>?})
for i, v in a2 do
local v3 = a3[i]
if typeof(v3) ~= "function" or v3(a1[i]) == true then
-- stopped here
end
end
endI have not that much to say really, it simply got marked as a bug so i feel like bringing it up