Type Alias DuplicateIdOf<Variants, K>

DuplicateIdOf: {
    readonly [J in Exclude<keyof Variants, K>]: Variants[J] extends {
        id: infer Id;
    }
        ? Variants[K] extends { id: Id }
            ? [Variants[J]] extends [Variants[K]]
                ? [Variants[K]] extends [Variants[J]] ? never : J
                : J
            : never
        : never
}[Exclude<keyof Variants, K>]