LuaLS / LuaLS/lua-language-server
Cannot assign parent primitive type (like integer) to it child @class int64: integer, how it work for integer: number
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?
Diagnostics/Syntax Checking
Expected Behaviour
No warnings
Actual Behaviour
Cannot assign `integer` to parameter `int64`.
- Type `integer` cannot match `int64`
- Type `number` cannot match `int64`Lua Diagnostics.(param-type-mismatch)
Reproduction steps
---@class int64: integer
---@param v int64
function f(v)
assert(v)
end
local a = 1ULL
local b = 1
f(a)
f(b)
f(1)
--- Cannot assign `integer` to parameter `int64`.
--- - Type `integer` cannot match `int64`
--- - Type `number` cannot match `int64`Lua Diagnostics.(param-type-mismatch)
for i = 1, 10 do
f(i)
end
Additional Notes
No response
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
Comienza con la reproducción en Lua del issue y ejecútala mediante la extensión de Visual Studio Code para confirmar el diagnóstico param-type-mismatch para valores enteros pasados a un parámetro int64. Rastrea los puntos de entrada de diagnóstico y comprobación de tipos responsables de los tipos de clase y los tipos numéricos primitivos. Se considera terminado cuando las llamadas válidas indicadas no producen advertencias, mientras que las asignaciones incompatibles siguen siendo diagnosticadas.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- lua
- Área
- devtools, testing
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100