Type Alias EnsureOutputSatisfiesContracts<TItems, TResponse>

EnsureOutputSatisfiesContracts: [ContractsUnionOutputs<TItems>] extends [never]
    ? TResponse
    : TResponse extends Promise<infer U>
        ? Promise<
            U extends ContractsIntersectionOutputs<TItems>
                ? U
                : OutputContractViolationError<TItems, U>,
        >
        : TResponse extends ContractsIntersectionOutputs<TItems>
            ? TResponse
            : OutputContractViolationError<TItems, TResponse>