Cannot assign parent primitive type (like integer) to it child @class int64: integer, how it work for integer: number

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

Commencez par la reproduction en Lua dans l’issue et exécutez-la via l’extension Visual Studio Code afin de confirmer le diagnostic param-type-mismatch pour les valeurs entières passées à un paramètre int64. Suivez les points d’entrée des diagnostics et de la vérification des types responsables des types de classes et des types numériques primitifs. Le travail est terminé lorsque les appels valides signalés ne produisent aucun avertissement, tandis que les affectations incompatibles continuent d’être diagnostiquées.