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

Das Issue nennt weder eine Quelldatei noch einen Test. Führen Sie zunächst die bereitgestellte Lua-Reproduktion mit lua-language-server 3.13.6-1 aus und verfolgen Sie den Type-Checking-Pfad für die Zuweisung von Tabelle zu Array. Als erledigt gilt die Aufgabe, wenn für eine Tabelle mit einem Nicht-Ganzzahlschlüssel ein Diagnostic gemeldet wird, während gültige Arrays weiterhin akzeptiert werden.