打字稿是否总是假设不允许副作用？

问：

我有以下玩具示例，其中打字稿警告我错误：

type obj = {
    ok: "ok" | "error",
}

function main(a: obj){
    a.ok = "ok";
    reloadFromDatabase(a);
    if (a.ok == "error"){ // TS error 
        console.log("Error");
    }
}

// Any function that has side effects on object a.
// For example, typeorm's `a.reload()`
function reloadFromDatabase(a: obj){
    a.ok = "error";
}

错误是：

This comparison appears to be unintentional because the types '"ok"' and '"error"' have no overlap.(2367)

如果您假设不允许突变对象的副作用，这是有道理的，但 的类型是 所以它应该允许 的两个值 （） 。aobj"ok" | "error"obj.isOk

在这个特定的代码示例中，我掌握了具有副作用的函数，因为它很好，因为我可以返回突变的对象：

function main(a: obj){
    a.ok = "ok";
    a = reloadFromDatabase(a);
    if (a.ok == "error"){ // This time its fine
        console.log("Error");
    }
}

function reloadFromDatabase(a: obj){
    a.ok = "error";
    return a;
}

但是在我的用例中，我无法访问它，它什么也没返回（它只是改变了对象）。reloadFromDatabase

这是打字稿选项吗？这似乎是一个合法的错误吗？我是否错过了允许突变会完全破坏打字稿逻辑（提供较少/没有类型安全性）的情况？