LuaLS / LuaLS/lua-language-server
Enum created with `@alias` breaks when unioned with table
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?
Type Checking
Expected Behaviour
it should allow either the enum or a table
Actual Behaviour
Cannot assign `integer` to parameter ``BAR`|`FOO`|any[]`.
- `integer` cannot match ``BAR`|`FOO`|any[]`
- Type `integer` cannot match `any[]`
- Type `number` cannot match `any[]`
Reproduction steps
FOO = 1
BAR = 2
--- @alias WAT `FOO` | `BAR`
--- @param a WAT | any[]
local function aa(a) end
aa(FOO)
Additional Notes
Bonus: If you change the type to WAT | WAT[] the error message is
Cannot assign `integer` to parameter ``BAR`|`BAR`|`FOO`[]|`FOO``.
- `integer` cannot match ``BAR`|`BAR`|`FOO`[]|`FOO``
- Type `integer` cannot match ``BAR`|`FOO`[]`
- Type `number` cannot match ``BAR`|`FOO`[]`
which looks very visually confusing
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 code Lua signalé dans l’extension Visual Studio Code et examinez le chemin de vérification des types pour les alias combinés à des unions et des tables. Le travail est terminé lorsque aa(FOO) est accepté pour WAT | any[] et que les diagnostics de types résultants ne sont plus déroutants pour le cas WAT | WAT[].
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
- 52/100