Type Alias DefaultKeys<T>

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