Closed luqingyang closed 1 month ago
local A = { a = 1, aa = 2 } ---@generic T ---@param sf T ---@param ina number ---@return T function A.new(sf, ina) end local a = A:new(3) local b = A.new(A, 3)
以上代码倒数第二行A:new(3) 参数3将会错误的推断为A.new中的第一个参数,并且a类型返回推断错误
以上代码倒数第二行A:new(3) 参数3将会错误的推断为A.new中的第一个参数,并且a类型返回推断错误