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

Issue にある Lua の再現コードから始め、Visual Studio Code 拡張機能を通して実行し、int64 パラメーターに渡される整数値に対する param-type-mismatch 診断を確認します。クラス型とプリミティブ数値型を担当する診断および型チェックのエントリーポイントを追跡します。報告された有効な呼び出しで警告が発生せず、互換性のない代入については引き続き診断されれば完了です。