TypeScript，如何覆盖继承的类型变量？

Question

问题：
type TypeStr = {
b: string;
};

type TypeNum =TypeStr & {
b: number;
};
function (val:TypeNum){
// val.b (is never)
}

想要的结果:
1.想知道为何这里的TypeNum 继承为何没有覆盖TypeStr?
2.如果要实现覆盖有哪几种方式？ Omit、keyof？还有么？

Answer 1

type Override<P, S> = Omit<P, keyof S> & S;

type TypeStr = { b: string };
type TypeNum = Override<TypeStr, {b: number;}>;