Narrowing Types Issue

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

```
---@param param1 true | nil
---@param param2 false | nil
local function test(param1, param2)
if param1 == nil and param2 == nil then
local var3 = param1
local var4 = param2
elseif param1 ~= nil and param2 == nil then
local var5 = param1
local var6 = param2
elseif param1 == nil and param2 ~= nil then
local var7 = param1
local var8 = param2
else
local var9 = param1
local var10 = param2
end
end
```

In this function the vars should have the following types:
var3: nil
var4: nil
var5: true
var6: nil
var7: nil
var8: false
var9: true
var10: false

### Actual Behaviour

The actual values are:
var3: nil (correct)
var4: nil (correct)
var5: true (correct)
var6: nil (correct)
var7: nil (correct)
var8: unknown (incorrect)
var9: true | nil (incorrect)
var10: false | nil (incorrect)

### Reproduction steps

1. Copy Code
2. See Issue

### Additional Notes

_No response_

### Log File

_No response_

Bắt đầu bằng cách tái hiện đoạn mã Lua trong tiện ích mở rộng Visual Studio Code trên Windows và theo dõi hành vi kiểm tra kiểu cho hai nhánh cuối. Hoàn thành khi các kiểu được suy luận khớp với báo cáo: var8 là false, var9 là true và var10 là false, đồng thời các biến trước đó vẫn giữ các kiểu đã liệt kê.

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