2019-03-30 17:06:09 -05:00
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
|
|
|
--> $DIR/wf-trait-object-no-duplicates.rs:8:21
|
|
|
|
|
|
|
|
|
|
|
LL | type _0 = dyn Obj + Obj;
|
2019-05-02 12:03:29 -05:00
|
|
|
| --- ^^^
|
|
|
|
|
| | |
|
|
|
|
|
| | additional non-auto trait
|
|
|
|
|
| | trait alias used in trait object type (additional use)
|
2019-03-30 17:06:09 -05:00
|
|
|
| first non-auto trait
|
2019-05-02 12:03:29 -05:00
|
|
|
| trait alias used in trait object type (first use)
|
2019-03-30 17:06:09 -05:00
|
|
|
|
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
|
|
|
--> $DIR/wf-trait-object-no-duplicates.rs:13:28
|
|
|
|
|
|
|
|
|
|
|
LL | type _1 = dyn Send + Obj + Obj;
|
2019-05-02 12:03:29 -05:00
|
|
|
| --- ^^^
|
|
|
|
|
| | |
|
|
|
|
|
| | additional non-auto trait
|
|
|
|
|
| | trait alias used in trait object type (additional use)
|
2019-03-30 17:06:09 -05:00
|
|
|
| first non-auto trait
|
2019-05-02 12:03:29 -05:00
|
|
|
| trait alias used in trait object type (first use)
|
2019-03-30 17:06:09 -05:00
|
|
|
|
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
|
|
|
--> $DIR/wf-trait-object-no-duplicates.rs:16:28
|
|
|
|
|
|
|
|
|
|
|
LL | type _2 = dyn Obj + Send + Obj;
|
2019-05-02 12:03:29 -05:00
|
|
|
| --- ^^^
|
|
|
|
|
| | |
|
|
|
|
|
| | additional non-auto trait
|
|
|
|
|
| | trait alias used in trait object type (additional use)
|
2019-03-30 17:06:09 -05:00
|
|
|
| first non-auto trait
|
2019-05-02 12:03:29 -05:00
|
|
|
| trait alias used in trait object type (first use)
|
2019-03-30 17:06:09 -05:00
|
|
|
|
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
|
|
|
--> $DIR/wf-trait-object-no-duplicates.rs:26:34
|
|
|
|
|
|
|
|
|
|
|
LL | type _4 = dyn for<'a> ObjL<'a> + for<'b> ObjL<'b>;
|
2019-05-02 12:03:29 -05:00
|
|
|
| ---------------- ^^^^^^^^^^^^^^^^
|
|
|
|
|
| | |
|
|
|
|
|
| | additional non-auto trait
|
|
|
|
|
| | trait alias used in trait object type (additional use)
|
2019-03-30 17:06:09 -05:00
|
|
|
| first non-auto trait
|
2019-05-02 12:03:29 -05:00
|
|
|
| trait alias used in trait object type (first use)
|
2019-03-30 17:06:09 -05:00
|
|
|
|
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
|
|
|
--> $DIR/wf-trait-object-no-duplicates.rs:30:42
|
|
|
|
|
|
|
|
|
|
|
LL | type _5 = dyn ObjT<for<'a> fn(&'a u8)> + ObjT<for<'b> fn(&'b u8)>;
|
2019-05-02 12:03:29 -05:00
|
|
|
| ------------------------ ^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
| | |
|
|
|
|
|
| | additional non-auto trait
|
|
|
|
|
| | trait alias used in trait object type (additional use)
|
2019-03-30 17:06:09 -05:00
|
|
|
| first non-auto trait
|
2019-05-02 12:03:29 -05:00
|
|
|
| trait alias used in trait object type (first use)
|
2019-03-30 17:06:09 -05:00
|
|
|
|
|
|
|
|
error: aborting due to 5 previous errors
|
|
|
|
|
|
|
|
|
|
For more information about this error, try `rustc --explain E0225`.
|
