1 error[E0393]: the type parameter `Rhs` must be explicitly specified
2 --> $DIR/issue-22560.rs:6:13
5 | ^^^ missing reference to `Rhs`
7 = note: because of the default `Self` reference, type parameters must be specified on object types
9 error[E0393]: the type parameter `Rhs` must be explicitly specified
10 --> $DIR/issue-22560.rs:3:17
12 LL | type Test = dyn Add +
13 | ^^^ missing reference to `Rhs`
15 = note: because of the default `Self` reference, type parameters must be specified on object types
17 error[E0225]: only auto traits can be used as additional traits in a trait object
18 --> $DIR/issue-22560.rs:6:13
20 LL | type Test = dyn Add +
23 | first non-auto trait
24 | trait alias used in trait object type (first use)
29 | additional non-auto trait
30 | trait alias used in trait object type (additional use)
32 error[E0191]: the value of the associated types `Output` (from the trait `std::ops::Add`), `Output` (from the trait `std::ops::Sub`) must be specified
33 --> $DIR/issue-22560.rs:3:13
35 LL | type Test = dyn Add +
44 | |_______________associated type `Output` must be specified
45 | associated type `Output` must be specified
47 error: aborting due to 4 previous errors
49 Some errors have detailed explanations: E0191, E0225, E0393.
50 For more information about an error, try `rustc --explain E0191`.