TEST [[ ---@cast integer ]] TEST [[ local x, y ---@cast y number ]]