Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Type narrowing breaks on equivalence to false.

Đang mở
#3,287 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức phù hợp với người mới
48/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
lua
Lĩnh vực
devtools

Hướng nghiên cứu

Tái hiện vấn đề trong tiện ích mở rộng Visual Studio Code bằng snippet Lua và di con trỏ lên y trong cả hai nhánh. Theo dõi hành vi kiểm tra kiểu đối với x == false, sau đó xác minh rằng nhánh true được phân giải thành false và nhánh false thành true, bao gồm cả các union như integer|false|nil.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

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
  1. 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
  1. Hover over y to 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

Ngôn ngữ chính
Lua
Star
4.4k
Fork
442
Merge trung bình
8 ngày 9 giờ
Pull request đã merge (30 ngày)
1

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của LuaLS/lua-language-server

Tất cả issue của LuaLS/lua-language-server

Issue tương tự

Thêm issue về Lua

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.