MutableKeys

@example

type Props = { readonly foo: string; bar: number };

  // Expect: "bar"
  type Keys = MutableKeys<Props>;

type MutableKeys<T extends object> = [P in keyof T]-?: IfEquals<[Q in P]: T[P], -readonly [Q in P]: T[P], P>[keyof T];

§Type Parameters

T extends object

[P in keyof T]-?: IfEquals<[Q in P]: T[P], -readonly [Q in P]: T[P], P>[keyof T]