Unexpected typechecking (with classes only?)

まだ誰も着手していません。

### How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

### Which OS are you using?

MacOS

### What is the issue affecting?

Type Checking

### Expected Behaviour

```lua
---@param a string
---@return string
local function expandHeader(a) return a end

---@class baz
---@field header string?

---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- param-type-mismatch
expandHeader(bar) -- param-type-mismatch
```

### Actual Behaviour

```lua
---@param a string
---@return string
local function expandHeader(a) return a end

---@class baz
---@field header string?

---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- NO WARNING
expandHeader(bar) -- param-type-mismatch
```

### Reproduction steps

See actual behavior

### Additional Notes

_No response_

### Log File

_No response_

Issue にある Lua の再現から始め、アノテーション付きクラスの nullable フィールドに対する型チェックの経路を調べてください。expandHeader(foo.header) と expandHeader(bar) の両方の動作を確認し、両方の呼び出しで期待されるパラメーター型の不一致が報告されれば完了です。

索引モデルが issue の本文から書いたものです。