LuaLS / LuaLS/lua-language-server
Inference failure when conditionally swapping variable?
Abierto
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
Is the following expected? Why does inference fail at all?
```lua
local a, b = 5, 8
if a < b then
b, a = a, b
-- ^ Unknown: cannot infer type.
end
print("(" .. a .. ", " .. b .. ")")
```
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
Start by reproducing the conditional multiple-assignment example from the issue and inspect the inference path for `b, a = a, b`. Trace why the reassignment produces an unknown-type diagnostic, then verify that the snippet no longer reports the diagnostic while preserving the inferred types of `a` and `b`.
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
- 55/100