`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

Führen Sie zunächst das Lua-Beispiel im Issue über den language server aus und untersuchen Sie den Type-Checking-Pfad, der die need-check-nil-Diagnose erzeugt. Verfolgen Sie, wie sich das Ergebnis der Funktion isEmpty auf die Eingrenzung von input auswirkt, und überprüfen Sie anschließend, dass die Diagnose für input:lower() nicht vorhanden ist, während nil-Prüfungen an anderer Stelle weiterhin korrekt funktionieren.