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

```lua
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_

Visual Studio Code拡張機能でアノテーションの例を再現し、ジェネリックな戻り値の型とFFIクラスのアノテーションがどのように推論されるかを調べます。xの推論された型を期待されるMyStruct*の結果と比較します。例でxがMyStructではなくMyStruct*として報告されれば完了です。

索引モデルが issue の本文から書いたものです。