---@class A ---@field b boolean local x = 1 ---comment ---@return A|nil local function func() if x == 1 then return nil end return {} end local c = func() if (c == nil) then return c elseif (c.b) then return c end  此时错误提示c需要判空,但实际上c 已经在前面分支判空了
---@Class A
---@field b boolean
local x = 1
---comment
---@return A|nil
local function func()
if x == 1 then
return nil
end
return {}
end
local c = func()
if (c == nil) then
return c
elseif (c.b) then
return c
end
此时错误提示c需要判空,但实际上c 已经在前面分支判空了