泛型类的成员函数通过@param注解的类泛型参数无法与调用时传入的实参正确匹配

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?

Diagnostics/Syntax Checking

Expected Behaviour

如题，下面的 stringBox.combine(text, "true") 应该不会显示任何诊断问题：

---@generic T
---@class Box<T>
---@field storedValue T
---@field combine2 fun(first: T, second: T): T
local Box = {}

---@param first T
---@param second T
---@return T
function Box.combine(first, second) end

---@type Box<string>
local stringBox

local text = "123"
local r1 = stringBox.combine(text, "true")
local r2 = stringBox.combine2(text, "true")

Actual Behaviour

stringBox.combine(text, "true") 的两个参数均被诊断为：

Cannot assign `string` to parameter `T`.
- `string` cannot match `T`
- Type `string` cannot match `T`

而用@field声明的同类型函数combine2却能正常识别实参

Reproduction steps

1. 复制我提供的复现代码，检查诊断结果

Additional Notes

No response

Log File

No response

Comece reproduzindo os diagnósticos no exemplo de Lua fornecido por meio da extensão do Visual Studio Code, comparando o método declarado com anotações @param com a função @field equivalente. Rastreie a correspondência de tipos genéricos usada para stringBox.combine; a tarefa estará concluída quando ambos os argumentos não produzirem mais diagnósticos, enquanto combine2 continuar sendo tratado corretamente.