LuaLS / LuaLS/lua-language-server
Cannot assign parent primitive type (like integer) to it child @class int64: integer, how it work for integer: number
Đang mở
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Lua
- Star
- 4.4k
- Fork
- 442
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
How are you using the lua-language-server?
Visual Studio Code Extension (sumneko.lua)
Which OS are you using?
Linux
What is the issue affecting?
Diagnostics/Syntax Checking
Expected Behaviour
No warnings
Actual Behaviour
Cannot assign `integer` to parameter `int64`.
- Type `integer` cannot match `int64`
- Type `number` cannot match `int64`Lua Diagnostics.(param-type-mismatch)
Reproduction steps
---@class int64: integer
---@param v int64
function f(v)
assert(v)
end
local a = 1ULL
local b = 1
f(a)
f(b)
f(1)
--- Cannot assign `integer` to parameter `int64`.
--- - Type `integer` cannot match `int64`
--- - Type `number` cannot match `int64`Lua Diagnostics.(param-type-mismatch)
for i = 1, 10 do
f(i)
end
Additional Notes
No response
Log File
No response
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- 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.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu với bản tái hiện bằng Lua trong issue và chạy nó qua extension của Visual Studio Code để xác nhận chẩn đoán param-type-mismatch đối với các giá trị số nguyên được truyền vào tham số int64. Truy tìm các điểm truy cập chẩn đoán và kiểm tra kiểu chịu trách nhiệm cho các kiểu lớp và các kiểu số nguyên thủy. Hoàn tất khi các lời gọi hợp lệ được báo cáo không tạo ra cảnh báo, trong khi các phép gán không tương thích vẫn được chẩn đoán.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- lua
- Lĩnh vực
- devtools, testing
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 35/100