Array type matches any table

How are you using the lua-language-server?

Other

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

When assigning a class/key-value table to a type defined as an array, a diagnostics error should be raised.

Actual Behaviour

No diagnostics error is raised.

Reproduction steps

local dict = {a = 'a'}

---@type number[]
local array = dict

Observe that no diagnostics error is raised when assigning dict to array, which is defined as an array.

Additional Notes

lua-langauge-server should check for the presence of non-integer indices in a table. If there are any, the table should not match the array type.

I believe the present issue is the underlying issue in #1721.

Version

3.13.6-1

Issue không nêu tệp nguồn hoặc bài kiểm thử nào. Hãy bắt đầu bằng cách chạy bản tái hiện Lua được cung cấp với lua-language-server 3.13.6-1 và theo dõi đường đi của quá trình kiểm tra kiểu đối với phép gán từ table sang array. Công việc được xem là hoàn tất khi một diagnostic được báo cáo cho một table chứa khóa không phải số nguyên, trong khi các array hợp lệ vẫn được chấp nhận.