LuaLS / LuaLS/lua-language-server
Using LuaJIT's nil-coalescing extension does not narrow the type correctly
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?
Other
### Which OS are you using?
Linux
### What is the issue affecting?
Type Checking
### Expected Behaviour
Using the nil-coalescing operator should narrow an expressions type. For example, in this sample code, the type of `b` should be narrowed to `integer`:
```lua
---@type integer?
local foo = 1
local bar = foo ?? 2
```
### Actual Behaviour
Instead of the type being narrowed, the type of `foo` is copied instead, and the type of `bar` is thought to be `integer?` instead of `integer`.
### Reproduction steps
1. Insert the following sample code in a project:
```lua
---@type integer?
local foo = 1
local bar = foo ?? 2
```
2. Check the type of `b`
### Additional Notes
This seems to work fine using the classic Lua approach with `or`:
```lua
---@type integer?
local foo = 1
local bar = foo or 2
```
The type of `bar` is `integer` here, as expected.
### 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
Commencez par reproduire le problème dans le vérificateur de types de lua-language-server avec l’exemple `??` fourni, puis comparez son type inféré avec celui de l’expression `or` équivalente. Suivez la manière dont l’expression nil-coalescing traite les opérandes nullable ; le travail est terminé lorsque `bar` est inféré comme `integer` et que le comportement existant reste correct pour le cas de comparaison.
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é
- Active
- Clarté
- Plutôt claire
- Accessibilité débutants
- 68/100