类型脚本重载、可选参数和类型推断

Question

我目前正在研究Typescript中的重载。

假设我有一个重载的函数：

function method(): void;
function method(foo: boolean, bar: boolean): void;
function method(foo?: boolean, bar?: boolean) {
    if (foo === true || foo === false) {
        const result = bar;
    }
}

要么调用函数时没有参数，要么调用函数时有两个参数（foo和bar）。根据vscode的智能感知，结果变量具有布尔|未定义的类型。

为什么即使我已经测试了foo参数，bar仍然可以未定义？如果foo存在，那么类型推断不应该预测bar也存在吗？