Combining generic classes and variadics

[Polanas]

I've been trying to write a function that accepts a number of Wrapped<T>'s and returns T's, but couldn't get it to work.

---@class Wrapper<T>

---@generic T
---@param ... Wrapper<T>...
---@return T...
function unwrap(...) end

---@type Wrapper<int>, Wrapper<string>
local a, b

--should be int, string
local b, c = unwrap(a, b)

Instead a warning is thrown: expected 0 parameters but found 2 [redundant-parameter].
Can something like this be done with current variadics implementation?

[CppCXY]

This form is not supported yet; it is probably related to issue #714.

[xuhuanzy]

I am currently implementing generic type inference similar to TypeScript, and I have already implemented 'infer'. I believe that type inference will be achievable by then.
#786

[xuhuanzy]

The corresponding code in TypeScript

type Wrapped<T> = T;

type UnwrapUnion<T> =
    { [K in keyof T]: T[K] extends Wrapped<infer U> ? U : never };

function unwrapUnion<T extends Wrapped<unknown>[]>(
    ...items: T
): UnwrapUnion<T> {
}

const w1: number = 1;
const w2: number = 1;
const w3: boolean = true;

const result = unwrapUnion(w1, w2, w3);

[Polanas]

I am currently implementing generic type inference similar to TypeScript, and I have already implemented 'infer'. I believe that type inference will be achievable by then.
#786

That's amazing! Thank you for your efforts. Lua with a type system as powerful as TS's sounds like a dream.

[xuhuanzy]

Provides generic type inference implementation