Type Alias InferConfigOrViolationFromContracts<TItems>

InferConfigOrViolationFromContracts: HasConfigContracts<TItems> extends false
    ? void
    : ContractsIntersectionConfigs<TItems> extends infer C
        ? IsImpossibleIntersection<C> extends true
            ? ConfigContractViolationError<
                TItems,
                Simplify<C extends never ? never : C>,
            >
            : Simplify<C>
        : never