trait A<T>: std::ops::Add<Self> + Sized {}
trait B<T>: A<T> {}
trait C<T>: A<dyn B<T, Output = usize>> {}
//~^ ERROR the trait `B` is not dyn compatible
//~| ERROR the trait `B` is not dyn compatible
//~| ERROR the trait `B` is not dyn compatible

fn main() {}