Fix #2051, Remove superfluous implicit (#2053)

typelevel · Nov 30, 2017 · 40465ac · 40465ac
1 parent 8fa89fb
commit 40465ac
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala b/kernel-laws/src/main/scala/cats/kernel/laws/discipline/EqTests.scala
@@ -11,14 +11,17 @@ import org.typelevel.discipline.Laws
 trait EqTests[A] extends Laws {
   def laws: EqLaws[A]
 
-  def eqv(implicit arbA: Arbitrary[A], arbF: Arbitrary[A => A], eqA: Eq[A]): RuleSet =
+  def eqv(implicit arbA: Arbitrary[A], arbF: Arbitrary[A => A]): RuleSet = {
+    implicit val eqA: Eq[A] = laws.E
+
     new DefaultRuleSet(
       "eq",
       None,
       "eq reflexitivity" -> forAll(laws.reflexitivityEq _),
       "eq symmetry" -> forAll(laws.symmetryEq _),
       "eq antisymmetry" -> forAll(laws.antiSymmetryEq _),
       "eq transitivity" -> forAll(laws.transitivityEq _))
+  }
 }
 
 object EqTests {