]> git.proxmox.com Git - rustc.git/blob - src/test/ui/coherence/coherence-impl-trait-for-marker-trait-positive.stderr
New upstream version 1.48.0~beta.8+dfsg1
[rustc.git] / src / test / ui / coherence / coherence-impl-trait-for-marker-trait-positive.stderr
1 error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker1`
2 --> $DIR/coherence-impl-trait-for-marker-trait-positive.rs:15:1
3 |
4 LL | impl Marker1 for dyn Object + Marker2 { }
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker1`
6
7 error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker2`
8 --> $DIR/coherence-impl-trait-for-marker-trait-positive.rs:17:1
9 |
10 LL | impl Marker2 for dyn Object + Marker2 { }
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker2`
12
13 error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
14 --> $DIR/coherence-impl-trait-for-marker-trait-positive.rs:23:1
15 |
16 LL | unsafe impl Send for dyn Marker2 {}
17 | ^^^^^^^^^^^^^^^^^^^^^-----------
18 | | |
19 | | `dyn Marker2` is not defined in the current crate
20 | impl doesn't use only types from inside the current crate
21 |
22 = note: define and implement a trait or new type instead
23
24 error[E0321]: cross-crate traits with a default impl, like `Send`, can only be implemented for a struct/enum type, not `(dyn Object + 'static)`
25 --> $DIR/coherence-impl-trait-for-marker-trait-positive.rs:27:1
26 |
27 LL | unsafe impl Send for dyn Object {}
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type
29
30 error[E0321]: cross-crate traits with a default impl, like `Send`, can only be implemented for a struct/enum type, not `(dyn Object + Marker2 + 'static)`
31 --> $DIR/coherence-impl-trait-for-marker-trait-positive.rs:28:1
32 |
33 LL | unsafe impl Send for dyn Object + Marker2 {}
34 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type
35
36 error: aborting due to 5 previous errors
37
38 Some errors have detailed explanations: E0117, E0321, E0371.
39 For more information about an error, try `rustc --explain E0117`.