Unexpected generic behaviour

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

MacOS

What is the issue affecting?

Annotations

Expected Behaviour

local ffi = require("ffi")

---@generic T
---@param ct `T`
---@return fun(x: T): `T`*
local function ref(ct)
    return function (init)
        return ffi.new(ct.."[1]", {init})
    end
end

ffi.cdef [[
    typedef struct MyStruct {
        int a, b;
    } MyStruct;
]]

---@class MyStruct
---@field a integer
---@field b integer

---@class MyStruct* : { [integer] : MyStruct }, ffi.cdata*

local x = ffi.ref "MyStruct" {
    a = 4,
    b = 2
}

--type of `x` expected to be `MyStruct*`

Actual Behaviour

type of x is MyStruct

Reproduction steps

Run the code and check types

Additional Notes

No response

Log File

No response

Tái hiện ví dụ chú thích trong tiện ích mở rộng Visual Studio Code và kiểm tra cách kiểu trả về generic và các chú thích của lớp FFI được suy luận. So sánh kiểu được suy luận của x với kết quả MyStruct* mong đợi; hoàn tất khi ví dụ báo cáo x là MyStruct* thay vì MyStruct.