LuaLS / LuaLS/lua-language-server

Invalid type diagnostic doesn't show when passing value from array directly to a function

Aperta
#1,643 3 commenti 1 reazione 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

enhancement
Lingua principale
Lua
Stelle
4.4k
Fork
442
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

### How are you using the lua-language-server?

Other

### Which OS are you using?

Linux

### What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

### Expected Behaviour

When using a value from an array as a parameter I expect type checking to work.

### Actual Behaviour

Type checking only works when I assign the value from the array to a temporary variable, not when passing it to a function directly.

### Reproduction steps

This doesn't show a warning:

```lua
---@param num integer
function receive(num)
end

---@type (integer?)[]
local values = {}

receive(values[1])
```

This works:

```lua
local value = values[1]
receive(value) -- Cannot assign `integer?` to parameter `integer`.
```

### Additional Notes

_No response_

### Log File

_No response_

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Non viene indicato alcun file sorgente o test. Inizia riproducendo i due snippet Lua e tracciando il percorso della diagnostica del controllo dei tipi per un argomento di indice di array diretto rispetto a una variabile temporanea; è completato quando la chiamata diretta segnala lo stesso mismatch da `integer?` a `integer`.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
lua
Ambito
devtools
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Ferma
Chiarezza
Specificata chiaramente
Idoneità per principianti
45/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.