Class generics produce unusable and wrong union types

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

MacOS, Windows

What is the issue affecting?

Completion

Expected Behaviour

Methods Peek,Push,Pop have proper type hints

Actual Behaviour

While types of a, b, c are correct the
type hints of methods are unusable with unnecessary union types.

If Push is removed from superclass, then type hints go to normal without unions but still with <T> in many places

local _lua_setmetatable = setmetatable

Stack = {}

--- @generic T
--- @class Stack<T> : {
---     Pop: (fun(self: Stack<T>): T),
---     Peek: (fun(self: Stack<T>): T),
---     Push: (fun(self: Stack<T>, value: T): Stack<T>),
--- }
--- @field protected _stack any[]
--- @field protected _count integer
Stack.__index = {}

--- Creates a new, empty stack.
--- @generic T
--- @return Stack<T>
function Stack.New()
    local this = {
        _stack = {},
        _count = 0,
    }

    return _lua_setmetatable(this, Stack)
end






local st = Stack.New() --[[@as Stack<{ num: integer }>]]

local a = st:Peek()
local b = st:Pop()
local c = st:Push({})

Reproduction steps

Analyze specified code in VSCode with luals installed

Additional Notes

No response

Log File

No response

Tái hiện vấn đề bằng cách phân tích đoạn mã Lua trong VS Code khi đã cài đặt lua-language-server, tập trung vào các gợi ý hoàn tất cho Stack.New và các phương thức Peek, Pop và Push. So sánh các kiểu được suy luận của a, b và c với các gợi ý phương thức không phải kiểu hợp dự kiến; hoàn tất khi các phương thức không còn hiển thị các kiểu hợp không thể sử dụng hoặc không cần thiết, hay các placeholder generic thừa.