LuaLS / LuaLS/lua-language-server
string|nil passed to string parameter not flagged as error with strict settings
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
- 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 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