Problem with methods of generic classes

Chưa có ai nhận issue này.

### 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, Annotations

### Expected Behaviour

1. Define a generic base class Foo with a method function which returns the generic type
2. Inherit from the base class and specify the generic type
3. Use the method and expect the specified generic type on the output

```lua
---@class Foo
---@field myValue T
local base = {}

---@return T
function base:get()
return self.myValue
end

---@type Foo
local ex1 = base --Use class directly
---@class Example2 : Foo
local ex2 = ex1 --Start with a version with generic type specified
---@class Example3 : Foo
local ex3 = base --Start with a version without the generic type specified

local I = ex1.myValue --Correct: number
local a = ex1:get() --Correct: number
local II = ex2.myValue --Correct: string
local b = ex2:get() --Correct: string
local III = ex3.myValue --Correct: boolean
local c = ex3:get() --Correct: boolean
```

### Actual Behaviour

Attempting to expand the parent class directly displays a warning, (*Example 3*) but using a variable with specified type does not (*Example 2*).
The method defined in the parent class fails to infer the generic type from the child classes

```lua
---@class Foo
---@field myValue T
local base = {}

---@return T
function base:get()
return self.myValue
end

---@type Foo
local ex1 = base
---@class Example2 : Foo
local ex2 = ex1
---@class Example3 : Foo
local ex3 = base --Cannot assign 'Foo' to 'Example3'

local I = ex1.myValue --Correct: number
local a = ex1:get() --Correct: number
local II = ex2.myValue --Correct: string
local b = ex2:get() --Incorrect: T
local III = ex3.myValue --Correct: boolean
local c = ex3:get() --Incorrect: T
```

### Reproduction steps

1. Define a generic base class with a method function which returns the generic type
2. Inherit from the base class and specify the generic type
3. Use the method and expect the specified generic type on the output

### Additional Notes

_No response_

### Log File

[service.log](https://github.com/user-attachments/files/24821399/service.log)

Tái hiện ví dụ kế thừa generic của Foo từ issue trong extension Visual Studio Code và kiểm tra service.log để xem các chẩn đoán kiểm tra kiểu. Theo dõi cách các phương thức kế thừa thay thế các kiểu trả về generic, sau đó xác minh rằng get() được phân giải thành string và boolean tương ứng với Example2 và Example3 mà không tạo ra các cảnh báo không chính xác.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.