Generic tuple type transformation

[saffr3n]

I love the type system this project provides. Huge improvement over lua ls.
One thing I couldn't figure out though is how would I go about tuple type transformations.

We can do this:

---@generic T
---@param promises [T...]
---@return Promise<[T...]>
function Promise.all(promises) end

local p = Promise.all({ Promise.resolve(1), Promise.resolve('a') }) -- type: Promise<[Promise<integer>, Promise<string>]>

But is there a way to unwrap those generics so that it becomes Promise<[integer, string]> instead?

We can unwrap a single generic like this ---@alias Awaited<P> P extends Promise<infer T> and T or never, and I tried a bunch of different ways to apply this to a tuple, but nothing seemed to work unfortunately.

Is there a way to achieve this or it's not currently possible?

[CppCXY]

Because only inference of the form T... is currently supported, this is not supported yet.
I think the ideal form should be:

---@generic T
---@param promises [Promise<T>...]
---@return Promise<[T...]>
function Promise.all(promises) end

[saffr3n]

Yep, this seems the most natural way to do this. In fact this was the first thing I tried. Looking forward to this thing supported, it would be an awesome addition.