Reassigning nullable in if block

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

After cheking for null in IF block, variable should return not null.

Actual Behaviour

After cheking for null in IF block, variable returns nullable value, so it causes warning

solution: check in two if blocks or use --[[@as not_nullable_type]]

Reproduction steps

---@class Mclass
local var1= {
---@type number?
var2 = nil,
}

---@param number
local function fun1(var2) end

if var1 and var1.var2 then
local var2= var1.var2
fun1(var2) --Cannot assign number? to parameter number.
end

Additional Notes

No response

Log File

No response

Bắt đầu với bản tái hiện bằng Lua trong issue bằng cách sử dụng extension của Visual Studio Code và kiểm tra hành vi kiểm tra kiểu xung quanh trường nullable bên trong khối if. Xác nhận cảnh báo đã được báo cáo và theo dõi cách giá trị đã được kiểm tra được định kiểu khi gán cho biến cục bộ. Được xem là hoàn tất khi narrowing được giữ nguyên, để việc truyền biến đó vào tham số number không còn báo cảnh báo kiểu nullable nữa.