`need-check-nil` when nil check is done in a function

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

No type checking errors

Actual Behaviour

Need check nil.Lua Diagnostics.(need-check-nil) on the :lower()

Reproduction steps

Simplified case with the issue

---@param str string?
---@return boolean
local function isEmpty(str)
	return str == nil or str == ''
end

---@param input string?
---@return string?
local function myFunc(input)
	if isEmpty(input) then
		return
	end
	return input:lower()
end

Additional Notes

No response

Log File

No response

Bắt đầu bằng cách chạy ví dụ Lua trong issue qua language server và kiểm tra đường dẫn kiểm tra kiểu tạo ra chẩn đoán need-check-nil. Theo dõi cách kết quả của hàm isEmpty ảnh hưởng đến việc narrowing của input, sau đó xác minh rằng chẩn đoán không xuất hiện đối với input:lower(), trong khi các kiểm tra nil ở những nơi khác vẫn chính xác.