MandatoryAttributeNames<A>: {
    [K in keyof A]: A[K] extends OptionalAttribute<any, any>
        ? never
        : K
}[keyof A]

Type Parameters