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 😄

Riproduci il caso di narrowing nel TypeScript Playground collegato, quindi leggi le discussioni correlate nelle issue #41503, #33878 e #31156. Traccia il comportamento del controllo dei tipi per le union di stringhe falsy e verifica che il risultato ristretto distingua false dalla stringa vuota; l’issue è completata quando la regressione è coperta e il tipo riportato è corretto.