@generic 不验证类型是否一致

[blanhhy]

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

假设有这样的代码：

---@class TestBase
---@class TestDerived1 : TestBase
---@class TestDerived2 : TestBase

---@generic T:TestBase
---@param v1 T
---@param v2 T
local function foo(v1, v2) end

我给 foo 的 v1, v2 标注了同一个 T，因此期望它们类型是一致的

local t1 ---@type TestDerived1
local t2 ---@type TestDerived2

foo(t1, t2)

这应该报错

Actual Behaviour

可实际上没有。因为泛型只对每一个参数进行独立的多态类型检查，都继承同一个父类自然没有报错。

当然，同一个泛型的一致性是完全一致还是多态一致，可以归结为一种设计考虑。当前的逻辑也许不算太坏。

但是，如果再加上返回值，结果就会变得很奇怪。

返回值同样是 T，可是却变成第一个参数的类型了！无论从哪个角度想都不合理。

Reproduction steps

复制上述代码查看悬停类型提示即可

Additional Notes

建议：

校验由 @Generic 标注的同一个泛型必须是同一类型

或者：在类型不同时不要推断为第一个类型而是基类类型

Log File

No response

[blanhhy]

啊，刚刚发现，由于每个参数都是独立检查，还会导致这样的现象：

如果不限定基类，同一个泛型甚至可以是毫无关系的任意类型

---@class TestBase
---@class TestDerived1 : TestBase
---@class TestDerived2 : TestBase
---@class TestOther

---@generic T
---@param v1 T
---@param v2 T
---@return T
local function foo(v1, v2) end

local t1 ---@type TestDerived1
local t2 ---@type TestOther

foo(t1, t2) -- it is legal!!

local ret = foo(t1, t2) -- ret is TestDerived1