Issue when using tables/class with generics?

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

### Expected Behaviour

In the following code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```

I would hope that the inferred type of k and v would work the same in each instance where k is inferred to be a string and v is inferred to be a string.

### Actual Behaviour

In the following code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```
the k and in line: `for k, v in pairs(test) do end` and the k in line` for k, v in pairs(test_table) do end` get the error `can not infer type` and are typed as `unknown`.

I assume there is some issue here with generics as the pairs definition uses them heavily
```
---@generic T: table, K, V
---@param t T
---@return fun(table: table, index?: K):K, V
---@return T
```
but this is only a guess.

### Reproduction steps

1. Copy this code:
```
---@class TestClass
---@field test string
---@field test2 string

---@param test TestClass
local function test_function(test)
for k, v in pairs(test) do end

---@type {test: string, test2: string}
local test_table

for k, v in pairs(test_table) do end

---@type {test: string, test2: string}
local test_table2 = {
test = "test",
test2 = "test2",
}

for k, v in pairs(test_table2) do end
end
```

2. See errors

### Additional Notes

_No response_

### Log File

_No response_

Bắt đầu bằng cách tái hiện đoạn mã được cung cấp trong extension Visual Studio Code, sau đó kiểm tra định nghĩa `pairs` và các kiểu trả về generic của nó. Bản sửa hoàn tất khi `k` và `v` được suy luận là string cho các trường hợp `TestClass`, bảng chưa khởi tạo và bảng đã khởi tạo mà không có lỗi `can not infer type`.

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