Why is trivial implicit not found?
-
26-06-2021 - |
Question
Why isn't the implicit not found, even in something as trivial as:
class Wrapper[+A](data: Vector[A]) {
def sum[B >: A](implicit num: Numeric[B]) = data.sum
}
won't compile, without resorting to manually passing in num
to data.sum
Solution
§7.2 of Scala specification (page 107) states that implicit parameters are inferred after any type arguments are inferred
. I believe this is the problem.
Typer infers most specific parameter for data.sum
- A
, and then looks for implicit Numeric[A]
in scope. He can't substitute it with Numeric[B]
because Numeric
is invariant.
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow