实现 Required

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