`---@cast` annotation doesn't respect scope rules

Ninguém assumiu esta issue ainda.

### 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

The `---@cast` annotation should respect Lua scoping rules.

### Actual Behaviour

Let's consider:
```lua
--- @class foo
--- @field a number

--- @class bar
--- @field b string

--- @type { [integer]: foo|bar }
local array = {}

for i, instance in ipairs(array) do
if instance.a then
-- First if block
--- @cast instance foo
end

if instance.b then
-- Second if block
end
end
```
In the first if block, we cast the `instance` to the `foo` type. When hovering over the `instance` variable in the second if block we can see its type is `foo`. It would be expected for its type to be `bar` since the `---@cast` happened in different scope.

### Reproduction steps

1. Copy-paste the given example code into your text editor.
2. Hover over the `instance` variable in the second if block.
3. See the error in the popup.

### Additional Notes

_No response_

### Log File

_No response_

Comece reproduzindo o problema com o exemplo de Lua fornecido na extensão do Visual Studio Code e inspecione como a verificação de tipos trata os escopos dos dois blocos if. Considera-se concluído quando o cast para foo se aplica somente dentro do primeiro bloco, enquanto a instância no segundo bloco mantém o tipo inferido apropriado em vez de foo.

Escrita pelo modelo de indexação a partir do texto da issue.