So, we just do not append a '(' after the name, like this:local x = a:integer + b:integerIt's invalid in current Lua.or like this:(a:integer[])[10]for multiple annotations, this should works:local x:toclose:MyClass = MyClass.new()