如果 TypeScript 不提供运行时，它如何知道潜在的运行时错误？

我刚刚开始使用 TypeScript。

有这样的代码

let arr : number[] | number = [1, 2, 3];

function logOut(arr: number[]) : void {
    arr.forEach((item) => {
        console.log(item);
    });
}

logOut(arr);

变量arr可以是数字或数字数组。我明确地将它设置为一个数字数组。

该函数logOut将一个数字数组作为其唯一参数。

现在一切正常，没有错误，代码运行没有问题。

我更改了代码，添加了条件覆盖arr：在 50% 的情况下arr，它将变得相等100而不是[1, 2, 3]

let arr : number[] | number = [1, 2, 3];

arr = Math.random() > 0.5 ? arr : 100;

function logOut(arr: number[]) : void {
    arr.forEach((item) => {
        console.log(item);
    });
}

logOut(arr);

这在 variable 的情况下非常适合编译器arr，因为它明确指出它可以是一个数字数组和一个数字，但这不适合 function logOut，因为它只接受一个数字数组作为输入。而且，正确地，TypeScript Playground 中的函数调用行以红色突出显示。

因此问题是：在不添加任何运行时检查的情况下，编译器如何知道调用函数时可能会发生错误？他是如何从仅添加的一行中弄清楚的？它有这么强大的静态分析仪吗？Math.random()让它打开“高度警惕模式”？在不太明显的情况下会发生什么，如果我不小心编写了这样的代码，其中变量将在运行时更改其类型？TypeScript 是否以某种方式神奇地提供了所有可能的选项？