在联合类型上存在另一个属性时断言一个属性的类型

如何解决在联合类型上存在另一个属性时断言一个属性的类型

是否可以在存在另一个属性时声明一​​个属性的类型？

例如：

interface Base {
    field1: number;
}

interface Sub1 extends Base {
    field3: string;
    field2?: never;
}

interface Sub2 extends Base {
    field3: number;
    field2: string;
}

type Unionized = Sub1 | Sub2

function MyFunc(union: Unionized) {
    if (union.field2) {
        // expect union.field3 to be a number
        // But instead it is a union of string | number
        console.log(union.field3)
    }
}

我希望从上面的代码中可以知道，当union.field2存在时，union.field3的类型应该是number的接口，Sub2的类型为{{1} }。

这可能吗？

编辑1 ：添加了屏幕截图