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

Reproduce los resultados reportados de la comprobación de tipos en LuaLS usando los cuatro fragmentos de Lua del issue, incluidos los casos boolean, optional, nil y default. Rastrea la inferencia de tipos para la expresión and y añade cobertura de regresión para que el resultado inferido preserve las uniones relevantes de string, boolean, false y nil.