Casting an otherwise unused variable in a block preserves the cast outside of block

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

Any casts inside a block should not be maintained once leaving that block.

Actual Behaviour

Type cast is maintained even after the block in which the variable was cast if and only if the variable was not used in that block.

Reproduction steps

This is incorrect:

---@type number|string
local i
if true then --can be `false` or any other logical
  ---@cast i number
  local _ = 0 --not referencing variable `i` that was cast above
end
local j = i --type of j is `number`, should be `number|string`

This is correct:

---@type number|string
local i
if true then --can be `false` or any other logical
  ---@cast i number
  local _ = i -- referencing variable `i` that was cast above
end
local j = i --type of j is `number|string`

Additional Notes

No response

Log File

No response

Tái hiện cả hai đoạn mã Lua thông qua tiện ích mở rộng Visual Studio Code và so sánh kiểu được suy luận của j sau khối. Theo dõi đường đi của quá trình kiểm tra kiểu đối với việc xử lý @cast khi biến cast không được sử dụng, sau đó xác minh rằng cast không tồn tại sau khối, trong khi trường hợp có tham chiếu trong khối vẫn chính xác.