 
 				/// However, some existentials outlive their usefulness
 				if nstate.discardedTestCount >= nstate.maxAllowableDiscardedTests {
-					let resul = Result.existentialFailure(
+					let resul = QuickCheckResult.existentialFailure(
 						numTests:    (st.successfulTestCount + 1),
 						usedSeed:    st.randomSeedGenerator,
 						usedSize:    st.computeSize(st.successfulTestCount, st.discardedTestCount),


// MARK: - Implementation Details

internal enum Result {
	case success(
		numTests  : Int,
		labels    : [(String, Int)],

			let (numShrinks, _, _) = findMinimalFailingTestCase(st, res: res, ts: ts())

			if !expect {
				let s = QuickCheckResult.success(numTests: (st.successfulTestCount + 1), labels: summary(st), output: "+++ OK, failed as expected. ")
				return .left((s, st))
			}

			let stat = QuickCheckResult.failure(
				numTests:    (st.successfulTestCount + 1),
				numShrinks:  numShrinks,
				usedSeed:    st.randomSeedGenerator,
