You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
cats.kernel.laws.discipline.EqTests#eqv requires an implicit Eq[A], while it already has one, in the EqLaws[A] instance it has. Thus the implicit Eq[A] parameter is unnecessary and could be removed.
The text was updated successfully, but these errors were encountered:
cats.kernel.laws.discipline.EqTests#eqv
requires an implicitEq[A]
, while it already has one, in theEqLaws[A]
instance it has. Thus the implicitEq[A]
parameter is unnecessary and could be removed.The text was updated successfully, but these errors were encountered: