Type Alias InferInputOrViolationFromContracts<TItems>

InferInputOrViolationFromContracts: HasInputContracts<TItems> extends false
    ? void
    : ContractsIntersectionInputs<TItems> extends infer I
        ? IsImpossibleIntersection<I> extends true
            ? InputContractViolationError<
                TItems,
                Simplify<I extends never ? never : I>,
            >
            : Simplify<I>
        : never