LuaLS / LuaLS/lua-language-server
Indexing a table by an enum's value
Personne n'a encore pris cette issue.
- 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?
Visual Studio Code Extension (sumneko.lua)
### Which OS are you using?
Linux
### What is the issue affecting?
Diagnostics/Syntax Checking
### Expected Behaviour
Types defined with an enum as their key should be accessible via both the runtime enum itself and the value they represent.
### Actual Behaviour
A type defined with an enum as its key cannot be accessed with the enum's value.
### Reproduction steps
```
---@enum building_id
local building_id = {
ANY = -1,
ONE = 0,
TWO = 1,
}
---@type { [building_id]: { name: string } }
local building_attributes = {}
local anyName = building_attributes[building_id.ANY].name // Typed as "string"
local anyName = building_attributes[-1].name // Typed as "unknown"
```
### Additional Notes
### Discussed in https://github.com/LuaLS/lua-language-server/discussions/2402
### Log File
_No response_
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Reproduisez le problème de diagnostics dans l’exemple Lua fourni, en commençant par la gestion des clés d’enum dans le chemin de vérification des types du language server. Comparez l’accès via building_id.ANY avec l’accès via -1 et utilisez comme contexte la discussion liée dans l’issue ; le travail est considéré comme terminé lorsque les deux formes résolvent la valeur de la table en { name: string } plutôt qu’en unknown.
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é
- Plutôt claire
- Accessibilité débutants
- 45/100