type predicate doesn't narrow parent object's type

[DetachHead]

Bug Report

🔎 Search Terms

predicate parent object type

🕗 Version & Regression Information

4.3.0-dev.20210406

⏯ Playground Link

Playground link with relevant code

💻 Code

declare function isBar(object: unknown): object is Bar

type Bar = {
    qux: number
}

type Foo<T extends Bar | {}> = {
    bar: T
    baz: number
}

declare const foo: Foo<Bar | {}>

declare function fooBar(value: Foo<Bar>): void

if (isBar(foo.bar)) {
    //foo.bar correctly narrowed to Bar:
    const a = foo.bar
    const b = foo.bar.qux

    //foo doesn't get narrowed and is still Foo<{} | Bar>, even though we know it's a Foo<Bar>
    fooBar(foo)
}

🙁 Actual behavior

foo.bar gets narrowed but foo doesn't

🙂 Expected behavior

foo is narrowed to Foo<Bar>

[MartinJohns]

Duplicate of #42384. Used search terms: narrow parent

[DetachHead]

oops, raised this twice because #43547 404'd on me right after i created it