Preserve union type name within larger union

TypeScript Version: 3.1.0-dev.20180731

Code

type Value =
    | { kind: "number", n: number }
    | { kind: "string", s: string };
function f(value: Value | undefined): void {}
f(undefined);

Expected behavior:

Quick info on f shows function f(value: Value | undefined): void

Actual behavior:

Quick info shows:

function f(value: {
    kind: "number";
    n: number;
} | {
    kind: "string";
    s: string;
} | undefined): void

Related Issues: #14662

Inizia riproducendo l’esempio di TypeScript 3.1.0-dev.20180731 e confronta le informazioni rapide per l’unione denominata usata direttamente con quelle della stessa unione usata all’interno di un’unione più grande. Esamina l’issue correlata #14662 per il contesto; il lavoro è completato quando le informazioni rapide conservano Value | undefined invece di espandere Value nei suoi membri oggetto.