Type narrowing breaks on equivalence to false.
還沒有人認領這個 Issue。
評估
研究方向
使用 Lua 程式碼片段在 Visual Studio Code 擴充功能中重現問題，並在兩個分支中將滑鼠游標停留在 y 上。追蹤 x == false 的型別檢查行為，然後確認 true 分支解析為 false，而 false 分支解析為 true，包括 integer|false|nil 這類聯集。
由索引模型根據 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
When x is a boolean, if x == false then should identify x as false in its true block, and true in its false block.
Actual Behaviour
In the true block, x is identified as true, and in the false block, x is identified as boolean.
Reproduction steps
- Paste this code into the editor
local x ---@type boolean
if x == false then
local y = x
-- y is type `true`, should be type `false`
else
local y = x
-- y is type 'boolean', should be type 'true'
end
- Hover over
yto inspect its type.
Additional Notes
This doesn't just happen with boolean types. It can happen to any type that can be false, such as integer|false|nil.
Log File
No response
- 主要語言
- Lua
- 星號
- 4.4k
- 分支
- 442
- 平均合併
- 8 天 9 小時
- 30 天內合併 PR
- 1
貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
LuaLS/lua-language-server 的其他 Issue
-
enhancement
難度 2/5 1-3 小時 新手友好度 62/100
LuaLS/lua-language-server#1776 ·
-
難度 3/5 1-2 天 新手友好度 65/100
LuaLS/lua-language-server#3463 · 5 則留言 ·
-
難度 4/5 3-5 天 新手友好度 55/100
LuaLS/lua-language-server#3461 ·
-
難度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3460 · 1 則留言 · 1 個 reaction ·
-
難度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3459 · 1 個 reaction ·
查看 LuaLS/lua-language-server 的全部 Issue
相似的 Issue
-
難度 2/5 1-3 小時 新手友好度 70/100
openSUSE/python-rpm-macros#219 ·
-
bug mini.bracketed
難度 2/5 1-3 小時 新手友好度 75/100
-
accessibility bug typst
難度 2/5 1-3 小時 新手友好度 75/100
quarto-dev/quarto-cli#14947 · 2 則留言 ·
-
難度 2/5 1-3 小時 新手友好度 75/100
HenrikBengtsson/CBI-software#134 ·
-
Nmap
難度 1/5 1 小時以內 新手友好度 85/100