必須なフィールドのみを残す高度なユーティリティ型 GetRequired<T> を実装してください。
例えば
type I = GetRequired<{ foo: number, bar?: string }> // expected to be { foo: number }
import type { Equal, Expect } from '@type-challenges/utils'
type cases = [
Expect<Equal<GetRequired<{ foo: number, bar?: string }>, { foo: number }>>,
Expect<Equal<GetRequired<{ foo: undefined, bar?: undefined }>, { foo: undefined }>>,
]