可分配给类型“X”的约束，但“X”可以用不同的约束子类型实例化......当泛型类型相同时

如何解决可分配给类型“X”的约束，但“X”可以用不同的约束子类型实例化......当泛型类型相同时

// Utility type like Omit but does not loose the kNown keys
export type RemappedOmit<T,K extends PropertyKey> = {
  [P in keyof T as Exclude<P,K>]: T[P]
}
// Utility type that makes some keys optional
export type OptionalKeys<T,Keys extends keyof T> = RemappedOmit<T,Keys> &
  Pick<Partial<T>,Keys>


// Example of my problem
type ExtendedBase = Record<string,unkNown>
type Props<Extended extends ExtendedBase> = {
  foo: string
  bar: string
} & Extended

const fn = <Extended extends ExtendedBase>(
  partialP: OptionalKeys<Props<Extended>,'bar'>,): Props<Extended> => {
  const r: Props<Extended> = { // 'RemappedOmit<Props<Extended>,"bar"> & { bar: string; }' is assignable to the constraint of type 'Extended',but 'Extended' Could be instantiated with a different subtype of constraint 'Record<string,unkNown>'.
    ...partialP,bar: 'smthg',}

  return r
}

Reproduction in TS Playground here

我想我明白分配给 Prop<Extended> 的类型 r 可以使用与 Extended 不同的 OptionalKeys<Props<Extended>,'bar'> 类型实例化。在其他情况下，我会完全理解。但在我看来，在这种情况下，可以静态分析这两种类型实际上是使用来自泛型函数的相同 Extended 类型实例化的。

我说得对吗？有什么解决方法吗？