LuaLS / LuaLS/lua-language-server

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

Ouverte
#1,643 3 commentaires 1 réaction 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

enhancement
Langage dominant
Lua
Étoiles
4.4k
Forks
442
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

### 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_

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Aucun fichier source ni aucun test n’est nommé. Commencez par reproduire les deux snippets Lua et suivre le chemin du diagnostic de vérification des types pour un argument d’indexation de tableau direct par rapport à une variable temporaire ; c’est terminé lorsque l’appel direct signale le même mismatch de `integer?` vers `integer`.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
lua
Domaine
devtools
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
À l'abandon
Clarté
Clairement spécifiée
Accessibilité débutants
45/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.