`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.

Ejecuta primero el ejemplo enlazado de TypeScript Playground para reproducir el fallo relacionado con los dos bloques try-catch. Después, sigue el control-flow narrowing del compilador para las asignaciones a través de los límites de try-catch y añade una prueba de regresión para el caso mostrado; estará terminado cuando tsc acepte takesString(x) después del primer bloque sin debilitar el narrowing en ningún otro lugar.