`unknown` isn’t narrowed by assignment

Bug Report

🔎 Search Terms

try block

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about try-catch blocks

⏯ Playground Link

Playground link with relevant code

💻 Code

function f(request: {params: {[param: string]: unknown;}}) {
    let x = request.params.x;
    try {
        x = validate(x);
    } catch (e) {}

    try {
        takesString(x);  // Fails to compile, x is of type unknown.
    } catch (e) {}
}

function validate(x: unknown): string { return ""; }
function takesString(s: string) {}

🙁 Actual behavior

In this example, the code fails to compile because tsc has deduced x in the second block to be of type unknown

🙂 Expected behavior

Since we have successfully exited the first try-catch block, x's type should be narrowed to string in the second.

Esegui prima l'esempio collegato di TypeScript Playground per riprodurre il problema relativo ai due blocchi try-catch. Poi traccia il control-flow narrowing del compilatore per le assegnazioni attraverso i confini di try-catch e aggiungi un test di regressione per il caso mostrato; il lavoro è completato quando tsc accetta takesString(x) dopo il primo blocco senza indebolire il narrowing altrove.