What is meant by a type that denotes an implicit conversion

Question

The scala language specification, section 7.2 is about implicit scope: It explains that implicit scope are the modules associated in some way with the parts of type T. What the parts of T are is listed below. One of those points is

if T denotes an implicit conversion to a type with a method with argument types T1,…,Tn and result type U, the union of the parts of T1,…,Tn and U;

I can't make head or tails from this. I don't understand how a type T can denote an implicit conversion.

What is meant by this part of the specification of implicit scope?

Answer 1

I believe this is referring to the following situation

case class Foo(v: Int)
object Foo {
  implicit def stringToFoo(s: String) = Foo(42)
}

def f[A](v: A)(implicit ev: A => Foo) = ev(v)

f("woohoo")

where the implicit conversion type T = A => Foo, and Foo is the part associated with type parameter A, therefore object Foo becomes part of the implicit scope and stringToFoo implicit conversion is resolved without needing an import.