Implicit conversion should be ambiguous.

[scabug]

class A {
  def foo(x :String) = 1
}

class B {
  def foo = (p: Int) => p
}

class C {
  def foo(x: Int) = 2
}

object Test extends Application {
  implicit def a2b(x: A): B = new B
  implicit def a2c(x: A): C = new C
  val a = new A
  Predef print a.foo(1)
}

Compiler (trunk version) prints 2.

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-3674?orig=1
Reporter: @Alefas

[scabug]

@odersky said:
This is a corner case for implicit search which was not specified before. The added specification is below. It does exclude the case of class B, though. So the behavior is as expected.

Views are applied in three situations.
...

3. In a selection $$e.m(\args)$$ with $$e$$ of type $$T$$, if the selector
   $$m$$ denotes some member(s) of $$T$$, but none of these members is applicable to the arguments $$\args$$. In this case a view $$v$$ is searched which is applicable to $$e$$
   and whose result contains a method $$m$$ which is applicable to $$\args$$.
   The search proceeds as in the case of implicit parameters, where
   the implicit scope is the one of $$T$$. If such a view is found, the
   selection $$e.m$$ is converted to \lstinline@$$v$$($$e$$).$$m(\args)$$@.