Control Flow Analysis of aliased conditions on object properties not working

[LorenzHenk]

Bug Report

🔎 Search Terms

Control Flow Analysis
type guard

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about type guard and Control Flow Analysis

⏯ Playground Link

Playground link with relevant code

💻 Code

interface User {
    name: string | null
}

function baz(u: User) {
    const isValid = u.name !== null

    if(isValid) {
        // `u.name` should be `string`, but the following error appears:
        // User.name: string | null
        // Object is possibly 'null'. (2531)
        u.name.length
    }
}

🙁 Actual behavior

u.name is of type string | null

🙂 Expected behavior

u.name should be of type string

[MartinJohns]

This is working as intended. See #48891.

[LorenzHenk]

Ahh I see, thanks!