Ternary operator with optional arg unfolds to the wrong type

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?

Annotations, Type Checking

Expected Behaviour

Ternary operators give out the correct type, process logical conditions correctly.

Actual Behaviour

must be string|false without default or string|boolean or "yes"|false. but not "yes" as default

condition can be boolean or nil, but actual result the same, cannot be optional |nil, ?

can't be nil

so my real case gives boolean|string or boolean|string|false boolean|string = false but without ?

Reproduction steps

---@type boolean
local cond
local value = cond and "yes"

---@type boolean?
local cond
local value = cond and "yes"

---@type boolean|nil
local cond
local value = cond and "yes"

---@type nil
local cond
local value = cond and "yes"

Additional Notes

Имя: Lua
Идентификатор: sumneko.lua
Описание: Lua Language Server coded by Lua
Версия: 3.6.11
Издатель: sumneko
Ссылка на Visual Studio Marketplace: https://marketplace.visualstudio.com/items?itemName=sumneko.lua

Версия: 1.75.1 (system setup)
Фиксация: 441438abd1ac652551dbe4d408dfcec8a499b8bf
Дата: 2023-02-08T21:32:34.589Z
Electron: 19.1.9
Chromium: 102.0.5005.194
Node.js: 16.14.2
V8: 10.2.154.23-electron.0
OS: Windows_NT x64 10.0.19044
Изолированные: No

Log File

No response

使用 issue 中的四個 Lua 程式碼片段，在 LuaLS 中重現回報的型別檢查結果，包括 boolean、optional、nil 和 default 情況。追蹤 and 表達式的型別推斷，並新增回歸測試涵蓋，確保推斷結果保留相關的 string、boolean、false 和 nil 聯集。