Mapped Type Iteration

Mapped types iterate over keys using the in keyword over a union of keys.

type Clone<T> = {
  [K of keyof T]: T[K];
};

type P = Clone<{ a: number; b: string }>;

What is the bug in this mapped type?