LuaLS / LuaLS/lua-language-server

Fields of a generic class can't pass the generic to another generic class

Abierto
#3,390 0 comentarios 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Lenguaje dominante
Lua
Estrellas
4.4k
Forks
442
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, number>`
local also_doesnt = f.b["hello"] -- type is `number`
Actual Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, <T>>`
local also_doesnt = f.b["hello"] -- type is `<V>`
Reproduction steps
---@class Foo<T>
---@field a T[]
---@field b table<string, T>

---@type Foo<number>
local f = {}
Additional Notes

No response

Log File

No response

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con la reproducción en Lua para Foo e inspecciona cómo la comprobación de tipos resuelve los campos a y b cuando se usa Foo. Confirma que el campo de tabla anidado y el valor indexado conservan number en lugar de marcadores genéricos sin resolver; se considera hecho cuando ambos tipos informados coinciden con el comportamiento esperado.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
lua
Área
devtools
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Tranquilo
Claridad
Bastante claro
Aptitud para principiantes
65/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.