LuaLS / LuaLS/lua-language-server
Incorrect field type calculation when field name in variable
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) v3.11.0
### Which OS are you using?
Linux
### What is the issue affecting?
Type Checking
### Reproduction steps
```lua
---@diagnostic disable: unused-local
---@class Class
local Class = { __type = "Class" }
local field = "some_string" -- field: string = "some_string"
do
local c = {} ---@type Class
-- OK
local f1 = c["some_string"] -- f1: unknown
local f2 = c[field] -- f2: unknown
end
function Class:f()
-- OK
local f1 = self["some_string"] -- f1: unknown
-- BUT
local f2 = self[field] -- f2: string = "Class"
end
do
-- OK
local f1 = Class["some_string"] -- f1: unknown
-- BUT
local f2 = Class[field] -- f2: string = "Class"
end
```
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 bằng cách tái hiện sự sai lệch trong việc kiểm tra kiểu của Lua language server bằng mẫu mã, so sánh việc lập chỉ mục bằng literal với việc lập chỉ mục thông qua biến `field`. Truy tìm điểm vào của suy luận kiểu trường và thêm một bài kiểm thử hồi quy cho các trường hợp được nêu; hoàn tất khi việc lập chỉ mục dựa trên biến không còn báo cáo `Class`, trong khi việc lập chỉ mục bằng literal báo cáo `unknown`.
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
- Loại issue
- Lỗi
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 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
- 42/100