Wrong typecheck for tagged union with deeply placed tag

[cattingcat]

Bug Report

🕗 Version & Regression Information

Stable (v4.7.2) and nightly (v4.8.0-dev.20220608 )

⏯ Playground Link

Playground link with relevant code

💻 Code

type Kek = {meta: {tag: 'A'}} | {meta: {tag: 'B'}};
type AddKek<S extends Kek> = S extends {meta: {tag: 'A'}} ? S & {payload: number} : S;
type Kek2 = AddKek<Kek>;  // type Kek2 = {meta: {tag: 'A'}, payload: number} | {meta: {tag: 'B'}};


function foo (k: Kek): Kek2 {
    switch (k.meta.tag) {
        case 'A':
            return {
                ...k,
                payload: 1,
            };
        case 'B':
            return k; // impossible to return k, problem with typecheck
    }
}

const k2: Kek2 = {
    meta: {tag: 'A', },
    payload: 1,
};

const k21: Kek2 = {
    meta: {tag: 'B', },
};

🙁 Actual behavior

Type 'Kek' is not assignable to type 'Kek2'.
Type '{ meta: { tag: "A"; }; }' is not assignable to type 'Kek2'.
Type '{ meta: { tag: "A"; }; }' is not assignable to type '{ meta: { tag: "A"; }; } & { payload: number; }'.
Property 'payload' is missing in type '{ meta: { tag: "A"; }; }' but required in type '{ payload: number; }'.(2322)
input.tsx(13, 66): 'payload' is declared here.

🙂 Expected behavior

Typechecks successfully

[cattingcat]

Instead of case 'B' there could be default

[jcalz]

You didn't fill out the whole template:

🔎 Search Terms
What search terms did you use when trying to find an existing bug report?
List them here so people in the future can find this one more easily.

TS doesn't support nested discriminated unions. Duplicate of #18758

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.