Насколько я знаю, состояние компилятора состоит из AST и таблицы символов. Я могу проверить AST с помощью -Xprint или -Ybrowse. Как я могу проверить таблицу символов?
Часть решения (включая фрагмент кода) на http://www.scala -lang.org / узел / 5763