LuaLS / LuaLS/lua-language-server

string|nil passed to string parameter not flagged as error with strict settings

Ouverte
#3,226 2 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?

Command Line

### Which OS are you using?

Linux

### What is the issue affecting?

Type Checking

### Expected Behaviour

With the following config (see below), I expect Lua Language Server to report a type mismatch when passing a `string|nil` value to a function that expects a non-optional string parameter.

Specifically, this line should raise a diagnostic:

```
test_func(params.ip) -- where params.ip is string|nil, but test_func expects string
```

### Actual Behaviour

No error is reported by LLS, neither in VS Code nor when using the CLI with `--check`.

### Reproduction steps

1. Save this code in a `.lua` file:

```
---@class TestParams
---@field ip string | nil

---@param ip string
---@return string
local function test_func(ip)
return ip
end

---@type TestParams
local params = { ip = nil }

test_func(params.ip)

```

2. Use the following `lua-language-server config` (`.luarc.json` or through your client):

```
{
"runtime": {
"version": "Lua 5.1"
},
"diagnostics": {
"enable": true,
"disable": [],
"groupFileStatus": {
"ambiguity": "Any",
"await": "Any",
"codestyle": "Any",
"duplicate": "Any",
"global": "Any",
"luadoc": "Any",
"redefined": "Any",
"strict": "Any",
"strong": "Any",
"type-check": "Any",
"unbalanced": "Any",
"unused": "Any"
},
"groupSeverity": {
"ambiguity": "Error",
"await": "Error",
"codestyle": "Error",
"duplicate": "Error",
"global": "Error",
"luadoc": "Error",
"redefined": "Error",
"strict": "Error",
"strong": "Error",
"type-check": "Error",
"unbalanced": "Error",
"unused": "Error"
}
},
"type": {
"weakNilCheck": false
}
}
```

3. Run the CLI:

```
lua-language-server-3.15.0-linux-x64/bin/lua-language-server --check your_file.lua
```

Or use VS Code extension.

### Additional Notes

_No response_

### Log File

```
Diagnosis completed, no problems found
```

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 le reproducteur Lua fourni et `.luarc.json`, puis exécutez la commande documentée `lua-language-server --check` pour confirmer l’absence du diagnostic. Suivez le chemin de vérification des types pour les arguments de fonction et ajoutez une couverture de régression ; le travail est terminé lorsque l’argument `string|nil` est signalé comme incompatible avec le paramètre `string` requis.

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

Évaluation

Stack technique
lua
Domaine
tooling
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
38/100

Recevez les nouvelles issues par e-mail

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