Type narrowing over x does not reflect in a statement of the format false && x

[awalgarg]

Bug Report

🔎 Search Terms

type narrowing, object is possibly undefined, false &&

🕗 Version & Regression Information

4.3 - nightly

⏯ Playground Link

Playground link with relevant code

💻 Code

function foo1(x?: string) {
  if (!x) {
    return;
  }

  x.toString(); // fine
  true && x.toString(); // fine
  false && x.toString(); // Object is possibly undefined
  0 && x.toString(); // fine!
}

🙁 Actual behavior

x is not narrowed from undefined | string to string in false && x.toString().

🙂 Expected behavior

x is narrowed from undefined | string to string in false && x.toString().

[MartinJohns]

Most likely a duplicate of #26914.

[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.