想请教下 TypeScript 里面几个泛型方法的写法

问题有点长，不过主要是有例子

比如说我有这样的一个 interface

interface MyInterface {
  propertyA: string | null;
  propertyB: number | null;
  propertyC: SomeOtherInterface | null;
  propertyD: AnotherOtherInterface | null;
}

interface SomeOtherInterface {
  propertyX: string | null;
  propertyY: number | null;
}

interface AnotherOtherInterface {
  propertyM: string | null;
  propertyN: number | null;
}

然后我需要一个方法去修改这个 MyInterface 的一个对象上的属性（假如说返回一个新对象而不是原地修改），那么我可以写出这样的一个泛型方法：

const updateProperty = <
  TKey extends keyof MyInterface,
  TValue extends MyInterface[TKey]
>(
  originalObject: MyInterface,
  propertyName: TKey,
  propertyValue: TValue
): MyInterface => {
  // ... some internal logic
  return { ...originalObject, [propertyName]: propertyValue };
};

到这里也没有问题，调用起来也很简单

const new1 = updateProperty(original, "propertyA", "some string");

第一个问题是，如果再写一个方法，一次性需要修改不确定数量的多个属性，这个泛型定义怎么写？我想到的方法是，写个数组传

const updateProperties = <
  TKey extends keyof MyInterface,
  TValue extends MyInterface[TKey]
>(
  originalObject: MyInterface,
  propertiesToUpdate: { propertyName: TKey; propertyValue: TValue }[]
): MyInterface => {
  // ... some internal logic
  const updatedObject = { ...originalObject };
  propertiesToUpdate.forEach(
    (p) => (updatedObject[p.propertyName] = p.propertyValue)
  );
  return updatedObject;
};

设想的调用方法是

const new2 = updateProperties(original, [
  {
    propertyName: "propertyA",
    propertyValue: "some string",
  },
  {
    propertyName: "propertyB",
    propertyValue: 10,
  },
]);

但是实际上是不可以的，因为在修改多个不同类型的属性的时候，TKey 就是联合类型了，TValue 也会变成相对于 TKey 的联合类型，导致无法赋值回去我想的是在 propertyName 为 A 的时候，propertyValue 只能为 string | null ，同时对于 B ，只能接收 number | null ，数组中各个元素是相互独立的那我这个方法应该如何修改？

第二个问题是，如果我想写一个方法去修改 propertyC -> propertyX / Y, propertyD -> propertyM/N ，这个泛型方法怎么写期望的调用方法是

updateSubProperty("propertyC", "propertyX", "some string");
updateSubProperty("propertyD", "propertyY", 20);

其中第一个参数限定为像 propertyC/D 这样的“对象”而不是 string number 这样的基础类型（描述的可能不准确），第二个第三个参数是限定为第一个参数确定下来的类型的属性和值简单的想法如下

const updateSubProperty = <
  TTop extends keyof MyInterface, // Should be restricted to some "object" only properties, but how?
  TSub extends keyof MyInterface[TTop],
  TValue extends keyof MyInterface[TTop][TSub]
>(
  originalObject: MyInterface,
  topProperty: TTop,
  subProperty: TSub,
  value: TValue
) => {
  // ... some internal logic
  const originalSubObject = originalObject[topProperty] ?? ({} as TTop); // It's acceptable to leave some properties missing, no worry
  const newSubObject = { ...originalSubObject, [subProperty]: value }; // ERROR: Spread types may only be created from object types.ts(2698)
  return { ...originalObject, [topProperty]: newSubObject };
};

然后理所当然是报了错，Spread types may only be created from object types.ts(2698) 原因我也知道，TTop 那边应该限制为 object-only ，像上面那样写的话依然可以给第一个参数传 propertyA ，这不是我想要的。那么这边的这个泛型约束应该如何定义？