1 error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
2 --> $DIR/coherence-negative-impls-copy-bad.rs:4:1
4 LL | impl !Copy for str {}
7 | | `str` is not defined in the current crate
8 | impl doesn't use only types from inside the current crate
10 = note: define and implement a trait or new type instead
12 error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
13 --> $DIR/coherence-negative-impls-copy-bad.rs:7:1
15 LL | impl !Copy for fn() {}
18 | | `fn()` is not defined in the current crate
19 | impl doesn't use only types from inside the current crate
21 = note: define and implement a trait or new type instead
23 error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
24 --> $DIR/coherence-negative-impls-copy-bad.rs:10:1
26 LL | impl !Copy for () {}
29 | | this is not defined in the current crate because tuples are always foreign
30 | impl doesn't use only types from inside the current crate
32 = note: define and implement a trait or new type instead
34 error: aborting due to 3 previous errors
36 For more information about this error, try `rustc --explain E0117`.