Почему этот код Scala не проходит проверку типов? trait T { type A } trait GenFoo[A0, S <: T { type A = A0 }] trait Foo[S <: T] extends GenFoo[S#A, S] Я не понимаю, почему «аргументы типа [S#A,S] не соответствуют границам параметра типа...

Я читал о Dotty, так как похоже, что он скоро станет scala 3, и заметил, что проекции типов считаются "несостоятельными" и удаляются из языка ... Это кажется обломом, поскольку я видел несколько вариантов использования, в которых они были...