Why is this implicit ambiguity behaviour happening?

by

Scala specification says:

If there are several eligible arguments which match the implicit parameter’s type, a most specific one will be chosen using the rules of static overloading resolution.

https://www.scala-lang.org/files/archive/spec/2.13/07-implicits.html#implicit-parameters

The relative weight of an alternative A over an alternative B is a number from 0 to 2, defined as the sum of

  • 1 if A is as specific as B, 0 otherwise, and
  • 1 if A is defined in a class or object which is derived from the class or object defining B, 0 otherwise.

https://www.scala-lang.org/files/archive/spec/2.13/06-expressions.html#overloading-resolution

  • case1 is defined in an object which is derived from the class (trait) defining case2 but not vice versa.

  • case2 is as specific as case1 but not vice versa.

So relative weight of case1 over case2 is 1+0=1 and relative weight of case2 over case1 is 0+1=1. So it’s ambiguity.

Error: ambiguous implicit values:
 both method case2 in trait LPSearch of type [M[_], A](implicit ev: App.TypeClass2[M,A])App.Search[M[A]]
 and method case1 in object Search of type [A](implicit ev: App.TypeClass1[A])App.Search[A]
 match expected type App.Search[List[Int]]
    implicitly[Search[List[Int]]]

In the second case there is no sense to use low-priority trait since if both implicits match expected type, case2 is preferred when they are defined in the same object. So try

object Search {
  implicit def case1[A](implicit ev: TypeClass1[A]): Search[A] = null
  implicit def case2[M[_], A](implicit ev: TypeClass2[M, A]): Search[M[A]] = null
}

More Related Contents:

  1. Using context bounds “negatively” to ensure type class instance is absent from scope
  2. What are type classes in Scala useful for?
  3. Implicit keyword before a parameter in anonymous function in Scala
  4. Is there a way to control which implicit conversion will be the default used?
  5. Why is the Aux technique required for type-level computations?
  6. Scala: Implicit parameter resolution precedence
  7. Scala double definition (2 methods have the same type erasure)
  8. In scala 2 or 3, is it possible to debug implicit resolution process in runtime?
  9. Advantages of F-bounded polymorphism over typeclass for return-current-type problem
  10. How do I get an instance of the type class associated with a context bound?
  11. Scalaz Bind[Seq] typeclass
  12. What is the difference between a var and val definition in Scala?
  13. What is the apply function in Scala?
  14. How do I apply the enrich-my-library pattern to Scala collections?
  15. In Scala, what is an “early initializer”?
  16. How to import build.gradle into IntelliJ
  17. How to model type-safe enum types?
  18. Scala: List[Future] to Future[List] disregarding failed futures
  19. Filling gaps in timeseries Spark
  20. val and object inside a scala class?
  21. Parsing multiline records in Scala
  22. In Scala 2, type inference fails on Set made with .toSet?
  23. What does a lazy val do?
  24. Explanation of fold method of spark RDD
  26. Play: How to implement action composition
  27. Applying an argument list to curried function using foldLeft in Scala
  28. Why is join not possible after show operator?
  29. How to sort an RDD in Scala Spark?
  30. Insert if not exists in Slick 3.0.0

Leave a Comment