Jon Pretty

class Super class Sub extends Super implicit val s1 = new Super implicit val s2 = new Sub implicitly[Super] What do you think happens?

s2. AFAIU, the disambiguation mechanism chooses the most specific available implicit (http://eed3si9n.com/revisiting-implicits-without-import-tax …). But very confusing anyway.

Yep. Both are valid Super values, yet Sub is more specific, hence not only there is no error but it's the one being used.

I could live with no error, but I would intuitively expect the exact match to be used, not its subtype. Another reason to avoid subtyping.

Well, fortunately at least implicit val s1: Super = new Super implicit val s2: Super = new Sub gives an error :)