Когато играех със зависимите типове методи на 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:...