Имам проблеми с опитите си да разбера как да посоча аргументи по подразбиране за препращаща препратка (по-рано наричана Универсални препратки от Скот Майерс). Ето пример за код, който се опитва да направи това, което искам да направя: struct...

Когато играех със зависимите типове методи на scala, срещнах конфликт с параметрите на метода по подразбиране: abstract class X { type Y case class YY(y: Y) } object XX extends X { type Y = String } trait SomeTrait { def method(x: X)(y:...