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

Trước tiên, hãy chạy ví dụ TypeScript Playground được liên kết để tái hiện lỗi xung quanh hai khối try-catch. Sau đó, hãy lần theo control-flow narrowing của trình biên dịch đối với các phép gán qua ranh giới try-catch và thêm một bài kiểm thử hồi quy cho trường hợp được hiển thị; hoàn tất khi tsc chấp nhận takesString(x) sau khối đầu tiên mà không làm suy yếu narrowing ở nơi khác.