typechecking of return types broken with `try/catch` when `strictNullChecks` and `noImplicitAny` are enabled

Bug Report

🔎 Search Terms

try/catch, exception handling, strict mode

🕗 Version & Regression Information

Broken in 4.3.5, still broken in nightly

⏯ Playground Link

Playground link with strict mode

Disable --noImplicitAny and --strict (but leave --strictNullChecks) and typechecker will correctly note that val may have type null

💻 Code

declare function bar(): any;

async function foo(): Promise<string> {
    let val = null;
    try {
        val = bar();
    } catch (e) {}
    return val;
}

🙁 Actual behavior

Compile with --strict and observe no errors
Compile simply with --strictNullChecks and typechecker will correctly note that val may have type null and does not conform to the return type

🙂 Expected behavior

typechecker should correctly determine that val can have type null and does not conform to the return type

Beginne mit der verlinkten TypeScript Playground-Reproduktion, verwende die gezeigte async function und vergleiche --strict mit --strictNullChecks. Verfolge die Behandlung der try/catch-Zuweisung und des Rückgabetyps durch den Typechecker; abgeschlossen ist die Aufgabe, wenn die strikte Konfiguration meldet, dass val möglicherweise null ist und Promise nicht erfüllen kann.