Type Alias InferOutputOrViolationFromContracts<TItems>

InferOutputOrViolationFromContracts: HasOutputContracts<TItems> extends false
    ? unknown
    : ContractsIntersectionOutputs<TItems> extends infer O
        ? IsImpossibleIntersection<O> extends true
            ? OutputContractViolationError<
                TItems,
                Simplify<O extends never ? never : O>,
            >
            : Simplify<O>
        : never