Псевдокод (по мотивам довольно сложного реального проекта):

trait Base {}
trait Derived : Base {}
trait DerivedDerived : Derived {}

trait Base объявляет ассоциированный тип N.
trait DerivedDerived объявляет другой ассоциированный тип, параметризованный N
type M = X<N> (X - независимый внешний генерик-тип)

Почему компилятор выдаёт такую ошибку?
the trait bound Self: Base is not satisfied
и предлагает добавить:
trait DerivedDerived : Base + Derived {}
?

Ведь "наследование" от Derived уже предполагает, что нужно удовлетворить и Base.

Хорошо, добавляю Base + Derived
Получаю другую ошибку:
ambiguous associated type N in bounds of Self

Ну да, теперь в DerivedDerived видны два типа N - от каждого из трейтов.

Можно ли выкрутиться? Нужно "наследовать" DerivedDerived от Derived.

Псевдокод (по мотивам довольно сложного реального проекта):

trait Base {}
trait Derived : Base {}
trait DerivedDerived : Derived {}

trait Base объявляет ассоциированный тип N.
trait DerivedDerived объявляет другой ассоциированный тип, параметризованный N
type M = X<N> (X - независимый внешний генерик-тип)

Почему компилятор выдаёт такую ошибку?
the trait bound Self: Base is not satisfied
и предлагает добавить:
trait DerivedDerived : Base + Derived {}
?

Ведь "наследование" от Derived уже предполагает, что нужно удовлетворить и Base.

Хорошо, добавляю Base + Derived
Получаю другую ошибку:
ambiguous associated type N in bounds of Self

Ну да, теперь в DerivedDerived видны два типа N - от каждого из трейтов.

Можно ли выкрутиться? Нужно "наследовать" DerivedDerived от Derived.

в смысле? объявление в DerivedDerived выглядит так:
type X = X<Self::N>

Почему бы просто не называть ассошиэйтед типы разными именами?

https://pastebin.com/Fu6zdJLP

Я немного не понимаю как работает буффер в этом драйвере.