Type Alias EnsureInputSatisfiesContracts<TItems, TValue>

EnsureInputSatisfiesContracts: [ContractsUnionInputs<TItems>] extends [never]
    ? TValue
    : TValue extends Promise<infer U>
        ? Promise<
            U extends ContractsIntersectionInputs<TItems>
                ? U
                : InputContractViolationError<TItems, U>,
        >
        : TValue extends ContractsIntersectionInputs<TItems>
            ? TValue
            : InputContractViolationError<TItems, TValue>