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

Inizia con la riproduzione in Lua nell’issue ed eseguila tramite l’estensione Visual Studio Code per confermare la diagnosi param-type-mismatch per i valori interi passati a un parametro int64. Traccia i punti di ingresso della diagnostica e del controllo dei tipi responsabili dei tipi di classe e dei tipi numerici primitivi. Il lavoro è completo quando le chiamate valide segnalate non producono avvisi, mentre le assegnazioni incompatibili continuano a essere diagnosticate.