error[E0038]: the trait `B` cannot be made into an object --> $DIR/issue-38404.rs:3:15 | LL | trait A: std::ops::Add + Sized {} | ------------------- ...because it uses `Self` as a type parameter in this LL | trait B: A {} | - this trait cannot be made into an object... LL | trait C: A> {} | ^^^^^^^^^^^^^^^^^^^^^^ the trait `B` cannot be made into an object error: aborting due to previous error For more information about this error, try `rustc --explain E0038`.