Missing diagnostic when passing nil-able fields to pairs/ipairs

Nessuno ha ancora preso questa issue.

### 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, Diagnostics/Syntax Checking

### Expected Behaviour

In the following code, I expect to get param-type mismatch for each of the `for` loops (with `pairs` and `ipairs`) because the variable being iterated can be `nil`:

```lua
---@type string[]?
local x1 = {}

for _ in ipairs(x1) do -- param-type-mismatch: Cannot assign `string[]?` to parameter `
break
end

---@type table?
local y1 = {}

for _ in ipairs(y1) do -- param-type-mismatch: Cannot assign `table?` to parameter `
break
end

---@class Class
---@field x string[]?
---@field y table?

---@type Class
local x2 = {}

for _ in ipairs(x2.x) do -- Should warn, but it doesn't
break
end

for _ in pairs(x2.y) do -- Should warn, but it doesn't
break
end
```

### Actual Behaviour

The param-type-mismatch diagnostic is only shown for the first two loops (direct variables without nesting/fields), but not when using fields (the third and fourth for loops).

### Reproduction steps

Copy the code into a Lua file and observe the diagnostics

### Additional Notes

_No response_

### Log File

_No response_

Riproduci il problema copiando l'esempio Lua fornito in un file Lua e confrontando le diagnosi per le variabili dirette con quelle per i campi annidati. Segui il percorso del controllo dei tipi che gestisce gli argomenti di ipairs e pairs, quindi verifica che i campi nullable ricevano la stessa diagnosi param-type-mismatch delle variabili dirette.

Scritto dal modello di indicizzazione a partire dal testo della issue.