Это не наследование
Окей, трейты субтипизируются. Так лучше?
trait Foo: Bar {} — это буквально trait Foo where Self: Bar {}
что насчет Foo + Bar ?
Наследование - плохо. Субтипизация - хорошо
Diamond problem🌚
её не существует для трейтов. Чем они и хороши
Обсуждают сегодня