Workaround ambiguous implicits

allanrenucci · cheeseng · commit a42b00956d14 · 2017-11-09T11:16:53.000+08:00
`Boolean` and `=&gt; Boolean`
diff --git a/project/GenGen.scala b/project/GenGen.scala
@@ -721,7 +721,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -766,7 +766,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -812,7 +812,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -859,7 +859,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -907,7 +907,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -956,7 +956,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
               case e: DiscardedEvaluationException => (true, None)
               case e: Throwable => (false, Some(e))
             }
-          !unmetCondition ==> (
+          propBoolean(!unmetCondition) ==> (
             if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
           )
         }
@@ -1002,7 +1002,7 @@ $arbShrinks$,
             case e: DiscardedEvaluationException => (true, None)
             case e: Throwable => (false, Some(e))
           }
-        !unmetCondition ==> (
+        propBoolean(!unmetCondition) ==> (
           if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
         )
       }
@@ -1045,7 +1045,7 @@ $arbShrinks$,
             case e: DiscardedEvaluationException => (true, None)
             case e: Throwable => (false, Some(e))
           }
-        !unmetCondition ==> (
+        propBoolean(!unmetCondition) ==> (
           if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
         )
       }
@@ -1095,7 +1095,7 @@ $shrinks$,
             case e: DiscardedEvaluationException => (true, None)
             case e: Throwable => (false, Some(e))
           }
-        !unmetCondition ==> (
+        propBoolean(!unmetCondition) ==> (
           if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
         )
       }
@@ -1148,7 +1148,7 @@ $tupleBusters$
             case e: DiscardedEvaluationException => (true, None)
             case e: Throwable => (false, Some(e))
           }
-        !unmetCondition ==> (
+        propBoolean(!unmetCondition) ==> (
           if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
         )
       }

Original file line number	Diff line number	Diff line change
`@@ -721,7 +721,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`721`	`721`	`case e: DiscardedEvaluationException => (true, None)`
`722`	`722`	`case e: Throwable => (false, Some(e))`
`723`	`723`	`}`
`724`		`- !unmetCondition ==> (`
	`724`	`+ propBoolean(!unmetCondition) ==> (`
`725`	`725`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`726`	`726`	`)`
`727`	`727`	`}`
`@@ -766,7 +766,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`766`	`766`	`case e: DiscardedEvaluationException => (true, None)`
`767`	`767`	`case e: Throwable => (false, Some(e))`
`768`	`768`	`}`
`769`		`- !unmetCondition ==> (`
	`769`	`+ propBoolean(!unmetCondition) ==> (`
`770`	`770`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`771`	`771`	`)`
`772`	`772`	`}`
`@@ -812,7 +812,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`812`	`812`	`case e: DiscardedEvaluationException => (true, None)`
`813`	`813`	`case e: Throwable => (false, Some(e))`
`814`	`814`	`}`
`815`		`- !unmetCondition ==> (`
	`815`	`+ propBoolean(!unmetCondition) ==> (`
`816`	`816`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`817`	`817`	`)`
`818`	`818`	`}`
`@@ -859,7 +859,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`859`	`859`	`case e: DiscardedEvaluationException => (true, None)`
`860`	`860`	`case e: Throwable => (false, Some(e))`
`861`	`861`	`}`
`862`		`- !unmetCondition ==> (`
	`862`	`+ propBoolean(!unmetCondition) ==> (`
`863`	`863`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`864`	`864`	`)`
`865`	`865`	`}`
`@@ -907,7 +907,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`907`	`907`	`case e: DiscardedEvaluationException => (true, None)`
`908`	`908`	`case e: Throwable => (false, Some(e))`
`909`	`909`	`}`
`910`		`- !unmetCondition ==> (`
	`910`	`+ propBoolean(!unmetCondition) ==> (`
`911`	`911`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`912`	`912`	`)`
`913`	`913`	`}`
`@@ -956,7 +956,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`956`	`956`	`case e: DiscardedEvaluationException => (true, None)`
`957`	`957`	`case e: Throwable => (false, Some(e))`
`958`	`958`	`}`
`959`		`- !unmetCondition ==> (`
	`959`	`+ propBoolean(!unmetCondition) ==> (`
`960`	`960`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`961`	`961`	`)`
`962`	`962`	`}`
`@@ -1002,7 +1002,7 @@ $arbShrinks$,`
`1002`	`1002`	`case e: DiscardedEvaluationException => (true, None)`
`1003`	`1003`	`case e: Throwable => (false, Some(e))`
`1004`	`1004`	`}`
`1005`		`- !unmetCondition ==> (`
	`1005`	`+ propBoolean(!unmetCondition) ==> (`
`1006`	`1006`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1007`	`1007`	`)`
`1008`	`1008`	`}`
`@@ -1045,7 +1045,7 @@ $arbShrinks$,`
`1045`	`1045`	`case e: DiscardedEvaluationException => (true, None)`
`1046`	`1046`	`case e: Throwable => (false, Some(e))`
`1047`	`1047`	`}`
`1048`		`- !unmetCondition ==> (`
	`1048`	`+ propBoolean(!unmetCondition) ==> (`
`1049`	`1049`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1050`	`1050`	`)`
`1051`	`1051`	`}`
`@@ -1095,7 +1095,7 @@ $shrinks$,`
`1095`	`1095`	`case e: DiscardedEvaluationException => (true, None)`
`1096`	`1096`	`case e: Throwable => (false, Some(e))`
`1097`	`1097`	`}`
`1098`		`- !unmetCondition ==> (`
	`1098`	`+ propBoolean(!unmetCondition) ==> (`
`1099`	`1099`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1100`	`1100`	`)`
`1101`	`1101`	`}`
`@@ -1148,7 +1148,7 @@ $tupleBusters$`
`1148`	`1148`	`case e: DiscardedEvaluationException => (true, None)`
`1149`	`1149`	`case e: Throwable => (false, Some(e))`
`1150`	`1150`	`}`
`1151`		`- !unmetCondition ==> (`
	`1151`	`+ propBoolean(!unmetCondition) ==> (`
`1152`	`1152`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1153`	`1153`	`)`
`1154`	`1154`	`}`