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

還沒有人認領這個 Issue。

### 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
```lua
---@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_

首先透過 language server 執行 issue 中的 Lua 範例，並檢查產生 need-check-nil 診斷的型別檢查路徑。追蹤 isEmpty 函式的結果如何影響對 input 的縮窄，然後確認 input:lower() 不會產生該診斷，同時其他位置的 nil 檢查仍然正確。

由索引模型根據 Issue 內容生成。