为什么TypeScript的类型保护在父作用域中的工作方式不同？

function example() {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于 if 块内
}

function example() {
    let x: number | string;
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于各自的 if 块内
}

function example(x: number | string) {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
    }
    console.log(y); // y 在这里不可见，因为它的作用域仅限于各自的 if 块内
}

function example(x: number | string) {
    if (typeof x === "number") {
        let y = x; // x 在这里被推断为 number 类型
        console.log(y.toFixed(2)); // 正确，因为 y 是 number 类型
    } else {
        let y = x; // x 在这里被推断为 string 类型
        console.log(y.toUpperCase()); // 正确，因为 y 是 string 类型
    }
    console.log(y); // 错误，因为 y 在这里不可见
}