```lua ---@class unit local mt = {} ---@param callback fun(i: integer) function mt:loop(callback) end mt:loop(function (i) -- `i` is not integer end) ```