LuaLS / LuaLS/lua-language-server
Function with generic variable return type loses typing after first return
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?
Visual Studio Code Extension (sumneko.lua)
Which OS are you using?
Linux
What is the issue affecting?
Type Checking
Expected Behaviour
ret2 in the example should be listed as string
Actual Behaviour
ret2 is listed as unknown
Reproduction steps
---@generic T
---@param arg T
---@return T ...
function GenericReturn(arg) end
local ret1, ret2 = GenericReturn("")
Additional Notes
Changing the return type to T|string correctly types the variable return but does not inherit the generic's typing.
Log File
No response
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
No se menciona ningún archivo fuente ni ninguna prueba. Comienza reproduciendo el ejemplo genérico de retorno y vararg del issue y, después, sigue las pruebas de inferencia de tipos de retorno genéricos y de comprobación de tipos del Lua language server. Se considera terminado cuando ret2 se infiere como string sin cambiar la anotación, con una prueba de regresión que cubra el ejemplo.
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
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 48/100