Function Prototype Narrowing with nils

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

Foo.Bar('Baz', 'Qux') -- **string**
Foo.Bar('Baz', nil) -- nil
Foo.Bar('Baz') -- nil
Foo.Bar(nil, 'Qux') -- nil
Foo.Bar(nil, nil) -- nil
Foo.Bar() -- nil

Actual Behaviour

Foo.Bar('Baz', 'Qux') -- **string|nil**
Foo.Bar('Baz', nil) -- nil
Foo.Bar('Baz') -- nil
Foo.Bar(nil, 'Qux') -- nil
Foo.Bar(nil, nil) -- nil
Foo.Bar() -- nil

Reproduction steps

---@param baz string|number
---@param qux string|number
---@return string
---@overload fun(text: string|number, title: nil):nil
---@overload fun(text: nil, title: string|number):nil
---@overload fun(text: nil, title: nil):nil
function Foo.Bar(baz, qux)
	if not baz or not qux then
		return nil
	end
	return 'SomeString'
end

Additional Notes

It seems to match the 'strings' can be nil

First input example

Last input example

Log File

No response

首先运行 issue 中的 Lua 复现，并比较每种参数组合推断出的返回类型。然后跟踪函数原型涉及的类型检查和重载解析路径，接着为预期的 narrowing 行为添加覆盖，并验证 non-nil 重载解析为 string，而 nil 情况解析为 nil。