Сужение типа в машинописном тексте на основе перечисления в типе

скажем, например, у меня есть этот тип в машинописном тексте:

enum NumberOrStringType {
    NUMBER,
    STRING,
}

type NumberOrString = {
    dataType: NumberOrStringType,
    data: string | number;
};

и далее в коде:

const numOrString: NumberOrString = { dataType: NumberOrStringType.NUMBER, data: 10 };

if (numOrString.dataType === NumberOrStringType.NUMBER) {
    const num: number = numOrString.data;
    ... 
} else {
    const str: string = numOrString.data;
    ...
}

К сожалению, я получаю ошибки, говорящие, что type string | number is not assignable to type number и type string | number is not assignable to type string.

Я знаю, что могу просто привести num и str, используя as number и as string соответственно, но есть ли способ сообщить машинописному тексту, чтобы он определял тип data через перечисление, или путем сужения типа с помощью оператора if?