1 2 3 4 5 6 7 8 9 10 11 12 13
TEST [[ ---@type string|boolean local t ---@cast t string ]] TEST [[ ---@type string|boolean local t ---@cast t <!number!> ]]