is assignable to the constraint of type 'X', but 'X' could be instanciated with a different subtype of constraint … when generic types are the same

Question

// Utility type like Omit but does not loose the known keys
export type RemappedOmit = {
  [P in keyof T as Exclude]: T[P