Workaround ambiguous implicits

allanrenucci · cheeseng · commit bba0363a17ec · 2017-10-11T14:18:48.000+08:00
`Boolean` and `=&gt; Boolean`
diff --git a/project/GenGen.scala b/project/GenGen.scala
@@ -719,7 +719,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)
           )
         }
@@ -764,7 +764,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)
           )
         }
@@ -810,7 +810,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)
           )
         }
@@ -857,7 +857,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)
           )
         }
@@ -905,7 +905,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)
           )
         }
@@ -954,7 +954,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)
           )
         }
@@ -1000,7 +1000,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)
         )
       }
@@ -1043,7 +1043,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)
         )
       }
@@ -1093,7 +1093,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)
         )
       }
@@ -1146,7 +1146,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
`@@ -719,7 +719,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`719`	`719`	`case e: DiscardedEvaluationException => (true, None)`
`720`	`720`	`case e: Throwable => (false, Some(e))`
`721`	`721`	`}`
`722`		`- !unmetCondition ==> (`
	`722`	`+ propBoolean(!unmetCondition) ==> (`
`723`	`723`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`724`	`724`	`)`
`725`	`725`	`}`
`@@ -764,7 +764,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`764`	`764`	`case e: DiscardedEvaluationException => (true, None)`
`765`	`765`	`case e: Throwable => (false, Some(e))`
`766`	`766`	`}`
`767`		`- !unmetCondition ==> (`
	`767`	`+ propBoolean(!unmetCondition) ==> (`
`768`	`768`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`769`	`769`	`)`
`770`	`770`	`}`
`@@ -810,7 +810,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`810`	`810`	`case e: DiscardedEvaluationException => (true, None)`
`811`	`811`	`case e: Throwable => (false, Some(e))`
`812`	`812`	`}`
`813`		`- !unmetCondition ==> (`
	`813`	`+ propBoolean(!unmetCondition) ==> (`
`814`	`814`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`815`	`815`	`)`
`816`	`816`	`}`
`@@ -857,7 +857,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`857`	`857`	`case e: DiscardedEvaluationException => (true, None)`
`858`	`858`	`case e: Throwable => (false, Some(e))`
`859`	`859`	`}`
`860`		`- !unmetCondition ==> (`
	`860`	`+ propBoolean(!unmetCondition) ==> (`
`861`	`861`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`862`	`862`	`)`
`863`	`863`	`}`
`@@ -905,7 +905,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`905`	`905`	`case e: DiscardedEvaluationException => (true, None)`
`906`	`906`	`case e: Throwable => (false, Some(e))`
`907`	`907`	`}`
`908`		`- !unmetCondition ==> (`
	`908`	`+ propBoolean(!unmetCondition) ==> (`
`909`	`909`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`910`	`910`	`)`
`911`	`911`	`}`
`@@ -954,7 +954,7 @@ trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {`
`954`	`954`	`case e: DiscardedEvaluationException => (true, None)`
`955`	`955`	`case e: Throwable => (false, Some(e))`
`956`	`956`	`}`
`957`		`- !unmetCondition ==> (`
	`957`	`+ propBoolean(!unmetCondition) ==> (`
`958`	`958`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`959`	`959`	`)`
`960`	`960`	`}`
`@@ -1000,7 +1000,7 @@ $arbShrinks$,`
`1000`	`1000`	`case e: DiscardedEvaluationException => (true, None)`
`1001`	`1001`	`case e: Throwable => (false, Some(e))`
`1002`	`1002`	`}`
`1003`		`- !unmetCondition ==> (`
	`1003`	`+ propBoolean(!unmetCondition) ==> (`
`1004`	`1004`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1005`	`1005`	`)`
`1006`	`1006`	`}`
`@@ -1043,7 +1043,7 @@ $arbShrinks$,`
`1043`	`1043`	`case e: DiscardedEvaluationException => (true, None)`
`1044`	`1044`	`case e: Throwable => (false, Some(e))`
`1045`	`1045`	`}`
`1046`		`- !unmetCondition ==> (`
	`1046`	`+ propBoolean(!unmetCondition) ==> (`
`1047`	`1047`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1048`	`1048`	`)`
`1049`	`1049`	`}`
`@@ -1093,7 +1093,7 @@ $shrinks$,`
`1093`	`1093`	`case e: DiscardedEvaluationException => (true, None)`
`1094`	`1094`	`case e: Throwable => (false, Some(e))`
`1095`	`1095`	`}`
`1096`		`- !unmetCondition ==> (`
	`1096`	`+ propBoolean(!unmetCondition) ==> (`
`1097`	`1097`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1098`	`1098`	`)`
`1099`	`1099`	`}`
`@@ -1146,7 +1146,7 @@ $tupleBusters$`
`1146`	`1146`	`case e: DiscardedEvaluationException => (true, None)`
`1147`	`1147`	`case e: Throwable => (false, Some(e))`
`1148`	`1148`	`}`
`1149`		`- !unmetCondition ==> (`
	`1149`	`+ propBoolean(!unmetCondition) ==> (`
`1150`	`1150`	`if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)`
`1151`	`1151`	`)`
`1152`	`1152`	`}`