LuaLS / LuaLS/lua-language-server

Issue when using tables/class with generics?

Ouverte
#2,176 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

enhancement
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?

Windows

### What is the issue affecting?

Type Checking

### Expected Behaviour

In the following code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```

I would hope that the inferred type of k and v would work the same in each instance where k is inferred to be a string and v is inferred to be a string.

### Actual Behaviour

In the following code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```
the k and in line: `for k, v in pairs(test) do end` and the k in line` for k, v in pairs(test_table) do end` get the error `can not infer type` and are typed as `unknown`.

Screenshot_1

I assume there is some issue here with generics as the pairs definition uses them heavily
```
---@generic T: table, K, V
---@param t T
---@return fun(table: table, index?: K):K, V
---@return T
```
but this is only a guess.

### Reproduction steps

1. Copy this code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```

2. See errors

### Additional Notes

_No response_

### 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 l’extrait fourni dans l’extension Visual Studio Code, puis examinez la définition de `pairs` et ses types de retour génériques. La correction est terminée lorsque `k` et `v` sont inférés comme string pour les cas `TestClass`, table non initialisée et table initialisée, sans erreurs `can not infer type`.

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é
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
42/100

Recevez les nouvelles issues par e-mail

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