Accessing deeply nested variable at 'if' statemet cause type collision

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

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

Type checking does not breaks after accessing variable at 'if' statement.

### Actual Behaviour

2nd nested variable type became '\ | unknown' so accessing variable or function which not exists in this class does not cause warning.

### Reproduction steps

```lua
---@class DemoD
---@field c integer
local DemoD = {}
DemoD.c = 0

---@class DemoC
local DemoC = {}
DemoC.D = DemoD

---@class DemoB
local DemoB = {}
DemoB.C = DemoC

---@class DemoA
local DemoA = {}
DemoA.B = DemoB

---@class DemoRoot
DemoRoot = {}
DemoRoot.A = DemoA

local d = DemoRoot.A.B.C.D

-- if d.c > 1 then end -- if we replace 'DemoRoot.A.B.C.D' with 'd' then F is undefined in all 4 cases
if DemoRoot.A.B.C.D.c > 1 then end

DemoRoot.F() -- warning: F is undefined
DemoRoot.A.F() -- warning: F is undefined
DemoRoot.A.B.F() -- no warning
DemoRoot.A.B.C.F() -- no warning
```

### Additional Notes

_No response_

### Log File

_No response_

まず、issue にある Lua スニペットで報告された動作を再現し、Visual Studio Code 拡張機能で使用されている型チェッカーにおいて、直接形式とローカル変数を使う形式を比較します。DemoRoot.A.B.F() や DemoRoot.A.B.C.F() のような無効なメンバーが未定義メンバーの警告を出し、正しいネストされたアクセスを壊さなければ、修正は完了です。

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