LuaLS / LuaLS/lua-language-server

Using LuaJIT's nil-coalescing extension does not narrow the type correctly

Ouverte
#3,459 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

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

  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

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

Recevez les nouvelles issues par e-mail

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