String union types narrowed to falsy should narrow string to ""

Bug Report

🔎 Search Terms

string truthy falsy narrow literal empty

🕗 Version & Regression Information

• This is a crash
• This changed between versions ______ and _______
• This is the behavior in every version I tried, and I reviewed the FAQ for entries about narrowing
• I was unable to test this on prior versions because _______

⏯ Playground Link

Playground link with relevant code

💻 Code

let value = Math.random() > 0.5 && "Some Name";

if (!value) {
  value; // Type: false | string, but should be false | ""
}

🙁 Actual behavior

Inside the narrowed block, value should be false | "", because no other string value is falsy.

🙂 Expected behavior

It's the more general false | string instead.

This was a hard issue to search for; #41503, #33878, and #31156 seemed related but not duplicate to me.

Shoutout to RyanCavanaugh for sending me a code snippet that looked like this -- no good deed goes unpunished in the issue tracker 😄

Reproduziere den Narrowing-Fall im verlinkten TypeScript Playground und lies anschließend die zugehörigen Diskussionen in den Issues #41503, #33878 und #31156. Verfolge das Verhalten der Typprüfung für Falsy-String-Union-Typen und überprüfe, dass das eingegrenzte Ergebnis zwischen false und dem leeren String unterscheidet; das Issue ist abgeschlossen, wenn die Regression abgedeckt und der gemeldete Typ korrigiert ist.