tl check failed "in return value: got {<invalid type>}, expected {T}"

teal-language / tl

The compiler for Teal, a typed dialect of Lua

MIT License

2.1k stars 108 forks source link

tl check failed "in return value: got {<invalid type>}, expected {T}" #560

Closed virusdefender closed 1 year ago

virusdefender commented 1 year ago

local M = {}

function M.array_slice<T>(t: {T}, begin: integer, ed: integer): {T}
end

function M.array_prefix<T>(t: {T}, n: integer): {T}
    return M.array_slice(t, 1, n+1)
end

hishamhm commented 1 year ago

This issue was specific to record functions, and it's now fixed. Thank you for the test case, @virusdefender !