@generic 不验证类型是否一致

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

Aucun fichier source ni aucun test n’est nommé. Reproduisez le problème avec l’extrait Lua fourni et examinez les chemins de vérification des types génériques et d’inférence du type de retour, puis suivez la manière dont un paramètre générique est lié à plusieurs arguments. Le travail est considéré comme terminé lorsque le comportement choisi pour un même type est reflété de manière cohérente dans les diagnostics et les résultats de hover, avec une couverture de régression si le projet dispose d’un emplacement de test approprié.