我有这样的代码：

interface BaseType {
    baseField: string;
}

function combine<T extends Object>(base: BaseType, addition: T) {
    if('baseField' in addition)
        throw new Error('addition should not have baseField');
    return {...base, ...addition};
}

const myBase : BaseType = {
    baseField: "xyz"
}

const myAddition = {
    otherField: 123
}

const ret = combine(myBase, myAddition);
// --> ret = { baseField: "xyz", otherField: 123}
console.log(JSON.stringify(ret))

如果combine()的addition参数导致baseField被覆盖，我想使用TypeScript的类型定义功能来触发IDE/编译器警告/错误。在我目前的设置中，我只在已经“太晚”的时候才获得有关它的信息，即。在运行时期间。
我尝试了像Typescript type with prohibited properties names这样的问题的答案中描述的解决方案。虽然solutions like this在许多情况下都很好，但它们不适用于addition.baseField = undefined。例如，这不会触发任何警告：

interface BaseType {
    baseField: string;
}

type RestrictionType = Object & {
    specialField?: never
}

function combine<T extends RestrictionType>(base: BaseType, addition: T) {
    return {...base, ...addition};
}

const myBase : BaseType = {
    baseField: "xyz"
}

const myAddition = {
    otherField: 123,
    baseField: undefined // set baseField explicitly to undefined
}

const ret = combine(myBase, myAddition); // no warning because undefined actually seems to match the "never" type
// --> ret = { otherField: 123 } // baseField got removed
console.log(JSON.stringify(ret))

那么，我如何指定一个对象的类型，其中一个特定名称的字段不能设置，甚至不能设置为undefined？
这里有一个指向TypeScript Playground的链接。