Evaluate user-defined generic type aliases on hover

Let's say we have a class like this:

class A
{
    readonly x = 99;
    s: string;

    constructor(initialiser: { [K in Exclude<keyof A, 'x'>]: A[K] })
    {
        for (const k in initialiser) this[k] = initialiser[k];
    }
}

Now, when I hover over the ctor param, VS Code shows me the type: { s: string; }.

Since I need such an initialiser for several classes, I have written a generic type alias:

type InitialiserExclude<C, Keys extends keyof C> = { [K in Exclude<keyof C, Keys>]: C[K] };

When I replace the initialiser type by InitialiserExclude<A, 'x'>, that's exactly what I see when hovering over the ctor param.

It would be very nice if VS Code evaluated such user-defined type aliases as it does with e. g. the built-in Exclude<T, U> and showed the resulting object type.

This is not only a matter of usability of the class. To create more complex initialiser types, it can be necessary to define multiple generic type aliases and use one within another, and the only way I know to check if such an initialiser works as expected is to declare a variable with that type and hover over it.

Usa gli esempi TypeScript nell'issue come riproduzione: confronta l'output dell'hover per il mapped type inline, l'Exclude integrato e l'alias InitialiserExclude definito dall'utente. Inizia tracciando il comportamento dell'hover del servizio del linguaggio per questi tipi. Il lavoro è completato quando, passando il mouse sul parametro del costruttore, l'alias definito dall'utente viene espanso nel tipo oggetto risultante.