REPL shows implicits

[scabug]

A REPL needs a better story for implicit application than -Xprint:typer.

There's coloring and underlining.

Another idea is an explanatory comment on the input line:

scala> q + 1         // scala.this.Predef.any2stringadd[scala.collection.immutable.Queue[Int]]($line11.$read.q).+(1)

Shorter type names would help that solution.

Inspired by a representative question

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-9826?orig=1
Reporter: @som-snytt
Affected Versions: 2.12.0-M4

[som-snytt]

That is called -Vimplicit-conversions.

scala> q + 42
       ^
       applied implicit conversion from q.type to ?{def + : ?} = final implicit def any2stringadd[A](self: A): any2stringadd[A]
           ^
       error: type mismatch;
        found   : Int(42)
        required: String