rust/tests/ui/coherence/coherence-impl-trait-for-marker-trait-negative.stderr

error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker1`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:15:1
   |
LL | impl !Marker1 for dyn Object + Marker2 {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker1`

error[E0321]: traits with a default impl, like `Marker1`, cannot be implemented for trait object `(dyn Object + Marker2 + 'static)`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:15:1
   |
LL | impl !Marker1 for dyn Object + Marker2 {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: a trait object implements `Marker1` if and only if `Marker1` is one of the trait object's trait bounds

error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker2`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:18:1
   |
LL | impl !Marker2 for dyn Object + Marker2 {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker2`

error[E0321]: traits with a default impl, like `Marker2`, cannot be implemented for trait object `(dyn Object + Marker2 + 'static)`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:18:1
   |
LL | impl !Marker2 for dyn Object + Marker2 {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: a trait object implements `Marker2` if and only if `Marker2` is one of the trait object's trait bounds

error[E0321]: traits with a default impl, like `Marker2`, cannot be implemented for trait object `(dyn Object + 'static)`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:26:1
   |
LL | impl !Marker2 for dyn Object {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: a trait object implements `Marker2` if and only if `Marker2` is one of the trait object's trait bounds

error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:22:1
   |
LL | impl !Send for dyn Marker2 {}
   | ^^^^^^^^^^^^^^^-----------
   | |              |
   | |              `dyn Marker2` is not defined in the current crate
   | impl doesn't use only types from inside the current crate
   |
   = note: define and implement a trait or new type instead

error[E0321]: cross-crate traits with a default impl, like `Send`, can only be implemented for a struct/enum type, not `(dyn Object + 'static)`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:27:1
   |
LL | impl !Send for dyn Object {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type

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)`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:28:1
   |
LL | impl !Send for dyn Object + Marker2 {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type

error[E0321]: traits with a default impl, like `Marker3`, cannot be implemented for generic type `T`
  --> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:32:1
   |
LL | impl<T: ?Sized> !Marker3 for T {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: a trait object implements `Marker3` if and only if `Marker3` is one of the trait object's trait bounds

error: aborting due to 9 previous errors

Some errors have detailed explanations: E0117, E0321, E0371.
For more information about an error, try `rustc --explain E0117`.
Perform coherence checking per impl. 2021-05-09 18:53:13 +00:00			error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker1`
			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:15:1`
			`\|`
Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			`LL \| impl !Marker1 for dyn Object + Marker2 {}`
Perform coherence checking per impl. 2021-05-09 18:53:13 +00:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker1`

Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			error[E0321]: traits with a default impl, like `Marker1`, cannot be implemented for trait object `(dyn Object + Marker2 + 'static)`
			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:15:1`
			`\|`
			`LL \| impl !Marker1 for dyn Object + Marker2 {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`\|`
			= note: a trait object implements `Marker1` if and only if `Marker1` is one of the trait object's trait bounds

Perform coherence checking per impl. 2021-05-09 18:53:13 +00:00			error[E0371]: the object type `(dyn Object + Marker2 + 'static)` automatically implements the trait `Marker2`
Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:18:1`
Perform coherence checking per impl. 2021-05-09 18:53:13 +00:00			`\|`
Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			`LL \| impl !Marker2 for dyn Object + Marker2 {}`
Perform coherence checking per impl. 2021-05-09 18:53:13 +00:00			\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Object + Marker2 + 'static)` automatically implements trait `Marker2`

Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			error[E0321]: traits with a default impl, like `Marker2`, cannot be implemented for trait object `(dyn Object + Marker2 + 'static)`
			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:18:1`
			`\|`
			`LL \| impl !Marker2 for dyn Object + Marker2 {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`\|`
			= note: a trait object implements `Marker2` if and only if `Marker2` is one of the trait object's trait bounds

			error[E0321]: traits with a default impl, like `Marker2`, cannot be implemented for trait object `(dyn Object + 'static)`
			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:26:1`
			`\|`
			`LL \| impl !Marker2 for dyn Object {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`\|`
			= note: a trait object implements `Marker2` if and only if `Marker2` is one of the trait object's trait bounds

forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`error[E0117]: only traits defined in the current crate can be implemented for arbitrary types`
Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:22:1`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\|`
Update tests 2019-03-09 12:03:44 +00:00			`LL \| impl !Send for dyn Marker2 {}`
Use more targeted spans for orphan rule errors 2019-10-12 21:31:23 +00:00			`\| ^^^^^^^^^^^^^^^-----------`
			`\| \| \|`
Talk about specific types and remove lifetimes from output 2019-10-13 18:25:30 +00:00			\| \| `dyn Marker2` is not defined in the current crate
Use more targeted spans for orphan rule errors 2019-10-12 21:31:23 +00:00			`\| impl doesn't use only types from inside the current crate`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\|`
			`= note: define and implement a trait or new type instead`

pretty: trim paths of unique symbols If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. 2020-09-02 07:40:56 +00:00			error[E0321]: cross-crate traits with a default impl, like `Send`, can only be implemented for a struct/enum type, not `(dyn Object + 'static)`
introduce `negative_impls` feature gate and document They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits. 2020-01-09 10:56:38 +00:00			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:27:1`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\|`
Update tests 2019-03-09 12:03:44 +00:00			`LL \| impl !Send for dyn Object {}`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type`

pretty: trim paths of unique symbols If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. 2020-09-02 07:40:56 +00:00			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)`
introduce `negative_impls` feature gate and document They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits. 2020-01-09 10:56:38 +00:00			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:28:1`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\|`
Update tests 2019-03-09 12:03:44 +00:00			`LL \| impl !Send for dyn Object + Marker2 {}`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't implement cross-crate trait with a default impl for non-struct/enum type`

Disallow impl autotrait for trait object 2023-01-19 06:43:05 +00:00			error[E0321]: traits with a default impl, like `Marker3`, cannot be implemented for generic type `T`
			`--> $DIR/coherence-impl-trait-for-marker-trait-negative.rs:32:1`
			`\|`
			`LL \| impl<T: ?Sized> !Marker3 for T {}`
			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
			`\|`
			= note: a trait object implements `Marker3` if and only if `Marker3` is one of the trait object's trait bounds

			`error: aborting due to 9 previous errors`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00
hide `--explain` hint if error has no extended info 2019-04-17 17:26:38 +00:00			`Some errors have detailed explanations: E0117, E0321, E0371.`
forbid manually impl'ing one of an object type's marker traits This shouldn't break compatibility for crates that do not use `feature(optin_builtin_traits)`, because as the test shows, it is only possible to impl a marker trait for a trait object in the crate the marker trait is defined in, which must define `feature(optin_builtin_traits)`. Fixes #56934 2019-01-05 14:19:34 +00:00			For more information about an error, try `rustc --explain E0117`.