Imported From: https://issues.scala-lang.org/browse/SI-5839?orig=1
Reporter: @Alefas
Affected Versions: 2.10.0-M3
Duplicates #5735

@som-snytt said:
It groks val x = goo(foo).

@som-snytt said:
I guess that in the presence of an expected type pt, implicit search is failing and overload resolution doesn't get a chance.

The language in 7.3 is that if a view is found, is converted to v(e).

That implies: if no view is found, la-di-da.

For overload resolution, this is a value context and it should select the foo that is compatible with Int => String, where compatible means conforming after applying implicits.

But is the result different? The intuition here is that it should apply f to the result of foo, but I think this is still required:

implicit def f2(v: Int => Int): Int => String = { (x: Int) => f(x) }

If this were an application of foo(1) where a String is expected, it would supply the implicit f.

(In my previous comment, it infers Int. Disclaimer: my attention is divided by child care, and I'm just learning how all this works.)

@hubertp said:
Yes, that's correct. The implicit is not applied at all because typically in a non-overloaded scenario it would be applied during eta-expansion. In this case we don't even get to eta-expansion since we have to deal with overloading first and at that point the provided implicit is useless.
There is still a problem with the error message which I need to fix.

@hubertp said:
Closed by #782