Non-null assertion should work on possibly-uninitialized auto-typed `let` variables

Bug Report

🔎 Search Terms

non-null postfix bang implicit any

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

This is the link

💻 Code

let foo;
if (Math.random() > 0.5) {
  foo = "hello";
}
// bar: string | undefined, seems fine
let bar = foo;
/* -- pretend I know foo is defined for other reasons -- */
// Error, foo is implicitly any
let baz = foo!;

🙁 Actual behavior

Implicit any on foo!

🙂 Expected behavior

Since the inferred type of foo (as seen in bar) is string | undefined, foo! should trivially have the type string

Inizia con il TypeScript Playground collegato e l'esempio con foo, bar e baz, quindi segui l'inferenza del compilatore e la gestione della non-null assertion per un let non inizializzato. Il lavoro è completato quando foo! viene accettato con il tipo string invece di produrre un errore implicit-any, mentre bar continua a essere inferito come string | undefined.