058a21d5cf
A subset of places referred to 'super-trait', so this changes them to all use 'supertrait'. This matches 'supertype' and some other usages. An exception is 'auto-trait' which is consistently used in that manner.
580 lines
26 KiB
Plaintext
580 lines
26 KiB
Plaintext
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:16:22
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | type _T00 = dyn _0 + ObjB;
|
|
| -- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:19:24
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | type _T01 = dyn ObjB + _0;
|
|
| ---- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:22:24
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | type _T02 = dyn ObjB + _1;
|
|
| ---- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:25:22
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T03 = dyn _1 + ObjB;
|
|
| -- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:34:22
|
|
|
|
|
LL | trait _2 = ObjB;
|
|
| ----
|
|
| |
|
|
| additional non-auto trait
|
|
| first non-auto trait
|
|
LL | trait _3 = _2;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | type _T10 = dyn _2 + _3;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:37:22
|
|
|
|
|
LL | trait _2 = ObjB;
|
|
| ----
|
|
| |
|
|
| additional non-auto trait
|
|
| first non-auto trait
|
|
LL | trait _3 = _2;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T11 = dyn _3 + _2;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:40:22
|
|
|
|
|
LL | trait _2 = ObjB;
|
|
| ----
|
|
| |
|
|
| additional non-auto trait
|
|
| first non-auto trait
|
|
LL | trait _3 = _2;
|
|
| -- referenced here (additional use)
|
|
LL | trait _4 = _3;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | type _T12 = dyn _2 + _4;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:43:22
|
|
|
|
|
LL | trait _2 = ObjB;
|
|
| ----
|
|
| |
|
|
| additional non-auto trait
|
|
| first non-auto trait
|
|
LL | trait _3 = _2;
|
|
| -- referenced here (first use)
|
|
LL | trait _4 = _3;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T13 = dyn _4 + _2;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:50:22
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
LL |
|
|
LL | type _T20 = dyn _5 + _1;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:53:22
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | type _T21 = dyn _1 + _5;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:56:22
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | type _T22 = dyn _5 + ObjA;
|
|
| -- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:59:24
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | type _T23 = dyn ObjA + _5;
|
|
| ---- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:62:29
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | type _T24 = dyn Send + _5 + _1 + Sync;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:65:29
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | type _T25 = dyn _1 + Sync + _5 + Send;
|
|
| -- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:68:36
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | type _T26 = dyn Sync + Send + _5 + ObjA;
|
|
| -- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:71:38
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | type _T27 = dyn Send + Sync + ObjA + _5;
|
|
| ---- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:80:17
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T30 = dyn _6;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:83:17
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T31 = dyn _6 + Send;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:86:24
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T32 = dyn Send + _6;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:89:17
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
LL | trait _7 = _6;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
LL | trait _8 = _7;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T33 = dyn _8;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:92:17
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
LL | trait _7 = _6;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
LL | trait _8 = _7;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T34 = dyn _8 + Send;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:95:24
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- first non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _6 = _1 + _5;
|
|
| -- -- referenced here (additional use)
|
|
| |
|
|
| referenced here (first use)
|
|
LL | trait _7 = _6;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
LL | trait _8 = _7;
|
|
| --
|
|
| |
|
|
| referenced here (additional use)
|
|
| referenced here (first use)
|
|
...
|
|
LL | type _T35 = dyn Send + _8;
|
|
| ^^
|
|
| |
|
|
| trait alias used in trait object type (additional use)
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:103:23
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (first use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (first use)
|
|
LL |
|
|
LL | type _T40 = dyn _10 + ObjA;
|
|
| --- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:106:24
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (additional use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | type _T41 = dyn ObjA + _10;
|
|
| ---- ^^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:109:23
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (first use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T42 = dyn _10 + _1;
|
|
| --- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:112:37
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (first use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T43 = dyn Send + _10 + Sync + ObjA;
|
|
| --- ^^^^ additional non-auto trait
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:115:24
|
|
|
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- additional non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (additional use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | type _T44 = dyn ObjA + _10 + Send + Sync;
|
|
| ---- ^^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| first non-auto trait
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjA + ObjB {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error[E0225]: only auto traits can be used as additional traits in a trait object
|
|
--> $DIR/no-extra-traits.rs:118:37
|
|
|
|
|
LL | trait _0 = ObjA;
|
|
| ---- additional non-auto trait
|
|
LL | trait _1 = _0;
|
|
| -- referenced here (additional use)
|
|
...
|
|
LL | trait _5 = Sync + ObjB + Send;
|
|
| ---- first non-auto trait
|
|
...
|
|
LL | trait _9 = _5 + Sync;
|
|
| -- referenced here (first use)
|
|
LL | trait _10 = Unpin + _9;
|
|
| -- referenced here (first use)
|
|
...
|
|
LL | type _T45 = dyn Sync + Send + _10 + _1;
|
|
| --- ^^ trait alias used in trait object type (additional use)
|
|
| |
|
|
| trait alias used in trait object type (first use)
|
|
|
|
|
= help: consider creating a new trait with all of these as supertraits and using that trait here instead: `trait NewTrait: ObjB + ObjA {}`
|
|
= note: auto-traits like `Send` and `Sync` are traits that have special properties; for more information on them, visit <https://doc.rust-lang.org/reference/special-types-and-traits.html#auto-traits>
|
|
|
|
error: aborting due to 28 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0225`.
|