Removing Optional Modifier

Mapping modifiers use a leading minus sign to remove readonly or optional.

type MyRequired<T> = {
  [K in keyof T]?-: T[K];
};

type R = MyRequired<{ a?: number }>; // want { a: number }

What is the bug in this modifier syntax?