Is there a systematic way to discover which implicit defs are in scope, and which one is bound at a particular point?

Question

Often there\'s no need to pay any attention to implicit arguments in Scala, but sometimes it\'s very helpful to understand how the compiler is automatically providing them.

Answer 1

1. Add the option -Xprint:typer to the scalac command line. This prints the program tree just after the typer compiler phase. This works best with a short, self contained example. You can also pass this to scalac. This is a really huge step towards self-reliance in Scala!
2. As mentioned by Randall, IntelliJ shows in-scope and the selected Implicit View with CTRL-ALT-SHIFT-I. Wait a month or two and implicit arguments are likely to have similar support.