При использовании зависимых от пути типов с отражением я получаю ошибку несоответствия типов, даже...

Я слышал, что у Scala есть зависимые от пути типы.Это как-то связано с внутренними классами, но что...