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

Chưa có ai nhận issue này.

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

Bắt đầu bằng cách tái hiện hành vi được báo cáo với đoạn mã Lua trong issue, đồng thời so sánh dạng trực tiếp và dạng sử dụng biến cục bộ trong trình kiểm tra kiểu được extension Visual Studio Code sử dụng. Bản sửa được hoàn tất khi các member không hợp lệ như DemoRoot.A.B.F() và DemoRoot.A.B.C.F() tạo ra cảnh báo member không xác định mà không làm hỏng việc truy cập lồng nhau hợp lệ.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.