Using LuaJIT's nil-coalescing extension does not narrow the type correctly

Đang mở
#3,459 0 bình luận 1 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
68/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
lua
Lĩnh vực
devtools

Hướng nghiên cứu

Bắt đầu bằng cách tái hiện vấn đề trong trình kiểm tra kiểu của lua-language-server với ví dụ ?? được cung cấp, sau đó so sánh kiểu được suy luận của nó với kiểu của biểu thức or tương đương. Theo dõi cách biểu thức nil-coalescing xử lý các toán hạng nullable; công việc được hoàn tất khi bar được suy luận là integer và hành vi hiện có vẫn đúng đối với trường hợp so sánh.

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?

Other

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

Using the nil-coalescing operator should narrow an expressions type. For example, in this sample code, the type of b should be narrowed to integer:

---@type integer?
local foo = 1
local bar = foo ?? 2
Actual Behaviour

Instead of the type being narrowed, the type of foo is copied instead, and the type of bar is thought to be integer? instead of integer.

Reproduction steps
  1. Insert the following sample code in a project:
---@type integer?
local foo = 1
local bar = foo ?? 2
  1. Check the type of b
Additional Notes

This seems to work fine using the classic Lua approach with or:

---@type integer?
local foo = 1
local bar = foo or 2

The type of bar is integer here, as expected.

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.