Предположим, у меня есть две черты, Foo и Bar[T], одна из которых параметри c. Есть ли способ объявить, что некоторые параметризации Bar являются Foo с (например, Bar[String]<:Foo)?
Очевидно, я мог бы создать третью черту Baz extends Bar[String] with Foo, но в моем реальном случае использования существует более двух соответствующих признаков, приводящих к неблагоприятной комбинаторике, что также приводит к путанице в сопоставлении с образцом на запечатанных признаках.