Type Alias RequiredKeys<T>

RequiredKeys: {
    [K in keyof T]: T[K] extends | { required: true }
    | { default: any }
    | BooleanConstructor
    | { type: BooleanConstructor }
        ? K
        : never
}[keyof T]