mirror of https://github.com/rust-lang/rust.git
Remove trailing `:` from E0119 message
This commit is contained in:
Esteban Küber
parent
16143d1067
commit
b8dda53e69
|
|
@ -395,14 +395,14 @@ fn report_conflicting_impls(
|
|||
// that's passed in.
|
||||
let decorate = |err: LintDiagnosticBuilder<'_>| {
|
||||
let msg = format!(
|
||||
"conflicting implementations of trait `{}`{}:{}",
|
||||
"conflicting implementations of trait `{}`{}{}",
|
||||
overlap.trait_desc,
|
||||
overlap
|
||||
.self_desc
|
||||
.clone()
|
||||
.map_or_else(String::new, |ty| { format!(" for type `{}`", ty) }),
|
||||
match used_to_be_allowed {
|
||||
Some(FutureCompatOverlapErrorKind::Issue33140) => " (E0119)",
|
||||
Some(FutureCompatOverlapErrorKind::Issue33140) => ": (E0119)",
|
||||
_ => "",
|
||||
}
|
||||
);
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `IntoCow<'_, _>` for type `Cow<'_, _>`:
|
||||
error[E0119]: conflicting implementations of trait `IntoCow<'_, _>` for type `Cow<'_, _>`
|
||||
--> $DIR/associated-types-coherence-failure.rs:21:1
|
||||
|
|
||||
LL | impl<'a, B: ?Sized> IntoCow<'a, B> for <B as ToOwned>::Owned where B: ToOwned {
|
||||
|
|
@ -7,7 +7,7 @@ LL | impl<'a, B: ?Sized> IntoCow<'a, B> for <B as ToOwned>::Owned where B: ToOwn
|
|||
LL | impl<'a, B: ?Sized> IntoCow<'a, B> for Cow<'a, B> where B: ToOwned {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `Cow<'_, _>`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `IntoCow<'_, _>` for type `&_`:
|
||||
error[E0119]: conflicting implementations of trait `IntoCow<'_, _>` for type `&_`
|
||||
--> $DIR/associated-types-coherence-failure.rs:28:1
|
||||
|
|
||||
LL | impl<'a, B: ?Sized> IntoCow<'a, B> for <B as ToOwned>::Owned where B: ToOwned {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `From` for type `()`:
|
||||
error[E0119]: conflicting implementations of trait `From` for type `()`
|
||||
--> $DIR/issue-67651.rs:11:1
|
||||
|
|
||||
LL | impl From for () {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait`
|
||||
--> $DIR/coherence-blanket-conflicts-with-blanket-implemented.rs:24:1
|
||||
|
|
||||
LL | impl<T:Even> MyTrait for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait`
|
||||
--> $DIR/coherence-blanket-conflicts-with-blanket-unimplemented.rs:20:1
|
||||
|
|
||||
LL | impl<T:Even> MyTrait for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `go_trait::GoMut` for type `MyThingy`:
|
||||
error[E0119]: conflicting implementations of trait `go_trait::GoMut` for type `MyThingy`
|
||||
--> $DIR/coherence-blanket-conflicts-with-specific-cross-crate.rs:15:1
|
||||
|
|
||||
LL | impl GoMut for MyThingy {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait<MyType>` for type `MyType`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait<MyType>` for type `MyType`
|
||||
--> $DIR/coherence-blanket-conflicts-with-specific-multidispatch.rs:22:1
|
||||
|
|
||||
LL | impl<T> MyTrait<T> for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyType`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyType`
|
||||
--> $DIR/coherence-blanket-conflicts-with-specific-trait.rs:20:1
|
||||
|
|
||||
LL | impl<T:OtherTrait> MyTrait for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyType`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyType`
|
||||
--> $DIR/coherence-blanket-conflicts-with-specific.rs:19:1
|
||||
|
|
||||
LL | impl<T> MyTrait for T {
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ LL |
|
|||
LL | impl<T: MyTrait> !Send for TestType<T> {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ negative implementation here
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `TestType<_>`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `TestType<_>`
|
||||
--> $DIR/coherence-conflicting-negative-trait-impl.rs:13:1
|
||||
|
|
||||
LL | unsafe impl<T: MyTrait + 'static> Send for TestType<T> {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `trait_impl_conflict::Foo` for type `isize`:
|
||||
error[E0119]: conflicting implementations of trait `trait_impl_conflict::Foo` for type `isize`
|
||||
--> $DIR/coherence-cross-crate-conflict.rs:9:1
|
||||
|
|
||||
LL | impl<A> Foo for A {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Trait` for type `for<'r> fn(fn(&'r ()))`:
|
||||
error[E0119]: conflicting implementations of trait `Trait` for type `for<'r> fn(fn(&'r ()))`
|
||||
--> $DIR/coherence-fn-covariant-bound-vs-static.rs:17:1
|
||||
|
|
||||
LL | impl Trait for for<'r> fn(fn(&'r ())) {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error: conflicting implementations of trait `Trait` for type `for<'a, 'b> fn(&'a &'b u32, &'b &'a u32) -> &'b u32`:
|
||||
error: conflicting implementations of trait `Trait` for type `for<'a, 'b> fn(&'a &'b u32, &'b &'a u32) -> &'b u32`
|
||||
--> $DIR/coherence-fn-implied-bounds.rs:21:1
|
||||
|
|
||||
LL | impl Trait for for<'a, 'b> fn(&'a &'b u32, &'b &'a u32) -> &'b u32 {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Trait` for type `for<'a, 'b> fn(&'a u32, &'b u32)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait` for type `for<'a, 'b> fn(&'a u32, &'b u32)`
|
||||
--> $DIR/coherence-fn-inputs.rs:15:1
|
||||
|
|
||||
LL | impl Trait for for<'a, 'b> fn(&'a u32, &'b u32) {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error: conflicting implementations of trait `TheTrait` for type `fn(&u8)`:
|
||||
error: conflicting implementations of trait `TheTrait` for type `fn(&u8)`
|
||||
--> $DIR/coherence-free-vs-bound-region.rs:16:1
|
||||
|
|
||||
LL | impl<'a> TheTrait for fn(&'a u8) {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `i32`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `i32`
|
||||
--> $DIR/coherence-impls-copy.rs:5:1
|
||||
|
|
||||
LL | impl Copy for i32 {}
|
||||
|
|
@ -7,7 +7,7 @@ LL | impl Copy for i32 {}
|
|||
= note: conflicting implementation in crate `core`:
|
||||
- impl Copy for i32;
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `&NotSync`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `&NotSync`
|
||||
--> $DIR/coherence-impls-copy.rs:29:1
|
||||
|
|
||||
LL | impl Copy for &'static NotSync {}
|
||||
|
|
@ -17,7 +17,7 @@ LL | impl Copy for &'static NotSync {}
|
|||
- impl<T> Copy for &T
|
||||
where T: ?Sized;
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `&[NotSync]`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Copy` for type `&[NotSync]`
|
||||
--> $DIR/coherence-impls-copy.rs:34:1
|
||||
|
|
||||
LL | impl Copy for &'static [NotSync] {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `&[NotSync]`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `&[NotSync]`
|
||||
--> $DIR/coherence-impls-send.rs:25:1
|
||||
|
|
||||
LL | unsafe impl Send for &'static [NotSync] {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait`
|
||||
--> $DIR/coherence-no-direct-lifetime-dispatch.rs:6:1
|
||||
|
|
||||
LL | impl<T> MyTrait for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `From<(_,)>` for type `(_,)`:
|
||||
error[E0119]: conflicting implementations of trait `From<(_,)>` for type `(_,)`
|
||||
--> $DIR/coherence-overlap-all-t-and-tuple.rs:16:1
|
||||
|
|
||||
LL | impl <T> From<T> for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Sweet`:
|
||||
error[E0119]: conflicting implementations of trait `Sweet`
|
||||
--> $DIR/coherence-overlap-downstream.rs:8:1
|
||||
|
|
||||
LL | impl<T:Sugar> Sweet for T { }
|
||||
|
|
@ -6,7 +6,7 @@ LL | impl<T:Sugar> Sweet for T { }
|
|||
LL | impl<T:Fruit> Sweet for T { }
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Foo<_>` for type `i32`:
|
||||
error[E0119]: conflicting implementations of trait `Foo<_>` for type `i32`
|
||||
--> $DIR/coherence-overlap-downstream.rs:14:1
|
||||
|
|
||||
LL | impl<X, T> Foo<X> for T where T: Bar<X> {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Sweet` for type `std::boxed::Box<_>`:
|
||||
error[E0119]: conflicting implementations of trait `Sweet` for type `std::boxed::Box<_>`
|
||||
--> $DIR/coherence-overlap-issue-23516.rs:8:1
|
||||
|
|
||||
LL | impl<T:Sugar> Sweet for T { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo`:
|
||||
error[E0119]: conflicting implementations of trait `Foo`
|
||||
--> $DIR/coherence-overlap-messages.rs:4:1
|
||||
|
|
||||
LL | impl<T> Foo for T {}
|
||||
|
|
@ -6,7 +6,7 @@ LL | impl<T> Foo for T {}
|
|||
LL | impl<U> Foo for U {}
|
||||
| ^^^^^^^^^^^^^^^^^ conflicting implementation
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Bar` for type `(u8, u8)`:
|
||||
error[E0119]: conflicting implementations of trait `Bar` for type `(u8, u8)`
|
||||
--> $DIR/coherence-overlap-messages.rs:11:1
|
||||
|
|
||||
LL | impl<T> Bar for (T, u8) {}
|
||||
|
|
@ -14,7 +14,7 @@ LL | impl<T> Bar for (T, u8) {}
|
|||
LL | impl<T> Bar for (u8, T) {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(u8, u8)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Baz<u8>` for type `u8`:
|
||||
error[E0119]: conflicting implementations of trait `Baz<u8>` for type `u8`
|
||||
--> $DIR/coherence-overlap-messages.rs:17:1
|
||||
|
|
||||
LL | impl<T> Baz<u8> for T {}
|
||||
|
|
@ -22,7 +22,7 @@ LL | impl<T> Baz<u8> for T {}
|
|||
LL | impl<T> Baz<T> for u8 {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `u8`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Quux<_, _>`:
|
||||
error[E0119]: conflicting implementations of trait `Quux<_, _>`
|
||||
--> $DIR/coherence-overlap-messages.rs:23:1
|
||||
|
|
||||
LL | impl<T, U, V> Quux<U, V> for T {}
|
||||
|
|
@ -30,7 +30,7 @@ LL | impl<T, U, V> Quux<U, V> for T {}
|
|||
LL | impl<T, U> Quux<U, U> for T {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Quux<_, _>`:
|
||||
error[E0119]: conflicting implementations of trait `Quux<_, _>`
|
||||
--> $DIR/coherence-overlap-messages.rs:25:1
|
||||
|
|
||||
LL | impl<T, U, V> Quux<U, V> for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo` for type `i16`:
|
||||
error[E0119]: conflicting implementations of trait `Foo` for type `i16`
|
||||
--> $DIR/coherence-overlap-upstream.rs:13:1
|
||||
|
|
||||
LL | impl<T> Foo for T where T: Remote {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo<i32>` for type `i32`:
|
||||
error[E0119]: conflicting implementations of trait `Foo<i32>` for type `i32`
|
||||
--> $DIR/coherence-projection-conflict-orphan.rs:16:1
|
||||
|
|
||||
LL | impl Foo<i32> for i32 { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo<_>` for type `std::option::Option<_>`:
|
||||
error[E0119]: conflicting implementations of trait `Foo<_>` for type `std::option::Option<_>`
|
||||
--> $DIR/coherence-projection-conflict-ty-param.rs:10:1
|
||||
|
|
||||
LL | impl <P, T: Foo<P>> Foo<P> for Option<T> {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo<i32>` for type `i32`:
|
||||
error[E0119]: conflicting implementations of trait `Foo<i32>` for type `i32`
|
||||
--> $DIR/coherence-projection-conflict.rs:11:1
|
||||
|
|
||||
LL | impl Foo<i32> for i32 { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
warning: conflicting implementations of trait `TheTrait` for type `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`:
|
||||
warning: conflicting implementations of trait `TheTrait` for type `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`
|
||||
--> $DIR/coherence-subtyping.rs:15:1
|
||||
|
|
||||
LL | impl TheTrait for for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8 {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `(_, _)`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `(_, _)`
|
||||
--> $DIR/coherence-tuple-conflict.rs:15:1
|
||||
|
|
||||
LL | impl<T> MyTrait for (T,T) {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error: conflicting implementations of trait `IntoWasmAbi` for type `&dyn std::ops::Fn(&_) -> _`:
|
||||
error: conflicting implementations of trait `IntoWasmAbi` for type `&dyn std::ops::Fn(&_) -> _`
|
||||
--> $DIR/coherence-wasm-bindgen.rs:28:1
|
||||
|
|
||||
LL | / impl<'a, 'b, A, R> IntoWasmAbi for &'a (dyn Fn(A) -> R + 'b)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `lib::MyFundamentalStruct<(MyType,)>`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `lib::MyFundamentalStruct<(MyType,)>`
|
||||
--> $DIR/coherence_copy_like_err_fundamental_struct_tuple.rs:16:1
|
||||
|
|
||||
LL | impl<T: lib::MyCopy> MyTrait for T { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `lib::MyStruct<MyType>`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `lib::MyStruct<MyType>`
|
||||
--> $DIR/coherence_copy_like_err_struct.rs:19:1
|
||||
|
|
||||
LL | impl<T: lib::MyCopy> MyTrait for T { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `(MyType,)`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `(MyType,)`
|
||||
--> $DIR/coherence_copy_like_err_tuple.rs:18:1
|
||||
|
|
||||
LL | impl<T: lib::MyCopy> MyTrait for T { }
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@ LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
|
|||
= note: type parameters may not be used in const expressions
|
||||
= help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions
|
||||
|
||||
error[E0119]: conflicting implementations of trait `MyTrait`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait`
|
||||
--> $DIR/issue-64494.rs:18:1
|
||||
|
|
||||
LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `Foo`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `Foo`
|
||||
--> $DIR/E0119.rs:13:1
|
||||
|
|
||||
LL | impl<T> MyTrait for T {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `complex_impl_support::External` for type `(Q, complex_impl_support::M<'_, '_, '_, std::boxed::Box<_>, _, _>)`:
|
||||
error[E0119]: conflicting implementations of trait `complex_impl_support::External` for type `(Q, complex_impl_support::M<'_, '_, '_, std::boxed::Box<_>, _, _>)`
|
||||
--> $DIR/complex-impl.rs:9:1
|
||||
|
|
||||
LL | impl<R> External for (Q, R) {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::convert::AsRef<Q>` for type `std::boxed::Box<Q>`:
|
||||
error[E0119]: conflicting implementations of trait `std::convert::AsRef<Q>` for type `std::boxed::Box<Q>`
|
||||
--> $DIR/conflict-with-std.rs:5:1
|
||||
|
|
||||
LL | impl AsRef<Q> for Box<Q> {
|
||||
|
|
@ -8,7 +8,7 @@ LL | impl AsRef<Q> for Box<Q> {
|
|||
- impl<T, A> AsRef<T> for Box<T, A>
|
||||
where A: Allocator, T: ?Sized;
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::convert::From<S>` for type `S`:
|
||||
error[E0119]: conflicting implementations of trait `std::convert::From<S>` for type `S`
|
||||
--> $DIR/conflict-with-std.rs:12:1
|
||||
|
|
||||
LL | impl From<S> for S {
|
||||
|
|
@ -17,7 +17,7 @@ LL | impl From<S> for S {
|
|||
= note: conflicting implementation in crate `core`:
|
||||
- impl<T> From<T> for T;
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::convert::TryFrom<X>` for type `X`:
|
||||
error[E0119]: conflicting implementations of trait `std::convert::TryFrom<X>` for type `X`
|
||||
--> $DIR/conflict-with-std.rs:19:1
|
||||
|
|
||||
LL | impl TryFrom<X> for X {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `a::LolFrom<&[_]>` for type `LocalType<_>`:
|
||||
error[E0119]: conflicting implementations of trait `a::LolFrom<&[_]>` for type `LocalType<_>`
|
||||
--> $DIR/issue-23563.rs:13:1
|
||||
|
|
||||
LL | impl<'a, T> LolFrom<&'a [T]> for LocalType<T> {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::convert::Into<_>` for type `GenX<_>`:
|
||||
error[E0119]: conflicting implementations of trait `std::convert::Into<_>` for type `GenX<_>`
|
||||
--> $DIR/issue-27403.rs:5:1
|
||||
|
|
||||
LL | impl<S> Into<S> for GenX<S> {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::ops::Deref` for type `&_`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Deref` for type `&_`
|
||||
--> $DIR/issue-28981.rs:5:1
|
||||
|
|
||||
LL | impl<Foo> Deref for Foo { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::convert::From<MyError<_>>` for type `MyError<_>`:
|
||||
error[E0119]: conflicting implementations of trait `std::convert::From<MyError<_>>` for type `MyError<_>`
|
||||
--> $DIR/so-37347311.rs:11:1
|
||||
|
|
||||
LL | impl<S: Storage> From<S::Error> for MyError<S> {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyMarker`:
|
||||
error[E0119]: conflicting implementations of trait `MyMarker`
|
||||
--> $DIR/feature-gate-overlapping_marker_traits.rs:6:1
|
||||
|
|
||||
LL | impl<T: Display> MyMarker for T {}
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ LL | #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
|
|||
= note: `#[warn(incomplete_features)]` on by default
|
||||
= note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
|
||||
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`:
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`
|
||||
--> $DIR/auto-trait.rs:24:1
|
||||
|
|
||||
LL | impl<T: Send> AnotherTrait for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`:
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`
|
||||
--> $DIR/auto-trait.rs:24:1
|
||||
|
|
||||
LL | impl<T: Send> AnotherTrait for T {}
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ LL | #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
|
|||
= note: `#[warn(incomplete_features)]` on by default
|
||||
= note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
|
||||
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`:
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`
|
||||
--> $DIR/negative-reasoning.rs:22:1
|
||||
|
|
||||
LL | impl<T: std::fmt::Debug> AnotherTrait for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`:
|
||||
error[E0119]: conflicting implementations of trait `AnotherTrait` for type `D<impl OpaqueTrait>`
|
||||
--> $DIR/negative-reasoning.rs:22:1
|
||||
|
|
||||
LL | impl<T: std::fmt::Debug> AnotherTrait for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::ops::Drop` for type `MyStruct`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Drop` for type `MyStruct`
|
||||
--> $DIR/issue-28568.rs:7:1
|
||||
|
|
||||
LL | impl Drop for MyStruct {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::ops::Drop` for type `std::boxed::Box<_, _>`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Drop` for type `std::boxed::Box<_, _>`
|
||||
--> $DIR/issue-41974.rs:7:1
|
||||
|
|
||||
LL | impl<T> Drop for T where T: A {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Trait1<std::boxed::Box<_>>` for type `A`:
|
||||
error[E0119]: conflicting implementations of trait `Trait1<std::boxed::Box<_>>` for type `A`
|
||||
--> $DIR/issue-43355.rs:13:1
|
||||
|
|
||||
LL | impl<X, T> Trait1<X> for T where T: Trait2<X> {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::clone::Clone` for type `Node<[_]>`:
|
||||
error[E0119]: conflicting implementations of trait `std::clone::Clone` for type `Node<[_]>`
|
||||
--> $DIR/issue-48728.rs:4:10
|
||||
|
|
||||
LL | #[derive(Clone)]
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyFoo`:
|
||||
error[E0119]: conflicting implementations of trait `MyTrait` for type `MyFoo`
|
||||
--> $DIR/never-from-impl-is-reserved.rs:10:1
|
||||
|
|
||||
LL | impl MyTrait for MyFoo {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::ops::Add` for type `i32`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Add` for type `i32`
|
||||
--> $DIR/const-and-non-const-impl.rs:6:1
|
||||
|
|
||||
LL | impl const std::ops::Add for i32 {
|
||||
|
|
@ -7,7 +7,7 @@ LL | impl const std::ops::Add for i32 {
|
|||
= note: conflicting implementation in crate `core`:
|
||||
- impl Add for i32;
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Add` for type `Int`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::Add` for type `Int`
|
||||
--> $DIR/const-and-non-const-impl.rs:24:1
|
||||
|
|
||||
LL | impl std::ops::Add for Int {
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@ LL | #![feature(specialization)]
|
|||
= note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
|
||||
= help: consider using `min_specialization` instead, which is more stable and complete
|
||||
|
||||
error[E0119]: conflicting implementations of trait `IntoPyDictPointer` for type `()`:
|
||||
error[E0119]: conflicting implementations of trait `IntoPyDictPointer` for type `()`
|
||||
--> $DIR/issue-52050.rs:28:1
|
||||
|
|
||||
LL | / impl<I> IntoPyDictPointer for I
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Foo` for type `u8`:
|
||||
error[E0119]: conflicting implementations of trait `Foo` for type `u8`
|
||||
--> $DIR/specialization-feature-gate-overlap.rs:13:1
|
||||
|
|
||||
LL | impl<T> Foo for T {
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@ LL | #![feature(specialization)]
|
|||
= note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
|
||||
= help: consider using `min_specialization` instead, which is more stable and complete
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Foo` for type `std::vec::Vec<_>`:
|
||||
error[E0119]: conflicting implementations of trait `Foo` for type `std::vec::Vec<_>`
|
||||
--> $DIR/specialization-overlap.rs:5:1
|
||||
|
|
||||
LL | impl<T: Clone> Foo for T {}
|
||||
|
|
@ -16,7 +16,7 @@ LL | impl<T: Clone> Foo for T {}
|
|||
LL | impl<T> Foo for Vec<T> {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `std::vec::Vec<_>`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Bar` for type `(u8, u8)`:
|
||||
error[E0119]: conflicting implementations of trait `Bar` for type `(u8, u8)`
|
||||
--> $DIR/specialization-overlap.rs:9:1
|
||||
|
|
||||
LL | impl<T> Bar for (T, u8) {}
|
||||
|
|
@ -24,7 +24,7 @@ LL | impl<T> Bar for (T, u8) {}
|
|||
LL | impl<T> Bar for (u8, T) {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(u8, u8)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Baz<u8>` for type `u8`:
|
||||
error[E0119]: conflicting implementations of trait `Baz<u8>` for type `u8`
|
||||
--> $DIR/specialization-overlap.rs:13:1
|
||||
|
|
||||
LL | impl<T> Baz<T> for u8 {}
|
||||
|
|
@ -32,7 +32,7 @@ LL | impl<T> Baz<T> for u8 {}
|
|||
LL | impl<T> Baz<u8> for T {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `u8`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Qux`:
|
||||
error[E0119]: conflicting implementations of trait `Qux`
|
||||
--> $DIR/specialization-overlap.rs:17:1
|
||||
|
|
||||
LL | impl<T: Clone> Qux for T {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Trait1` for type `(dyn std::marker::Send + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait1` for type `(dyn std::marker::Send + 'static)`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:18:1
|
||||
|
|
||||
LL | impl Trait1 for dyn Send {}
|
||||
|
|
@ -14,7 +14,7 @@ LL | impl Trait2 for dyn Send {}
|
|||
LL | impl !Trait2 for dyn Send {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^ negative implementation here
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait3<(dyn std::marker::Sync + 'static)>` for type `(dyn std::marker::Send + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait3<(dyn std::marker::Sync + 'static)>` for type `(dyn std::marker::Send + 'static)`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:32:1
|
||||
|
|
||||
LL | impl Trait3<dyn Sync> for dyn Send {}
|
||||
|
|
@ -22,7 +22,7 @@ LL | impl Trait3<dyn Sync> for dyn Send {}
|
|||
LL | impl Trait3<dyn Sync> for dyn Send {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(dyn std::marker::Send + 'static)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait4a` for type `(dyn std::marker::Send + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait4a` for type `(dyn std::marker::Send + 'static)`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:39:1
|
||||
|
|
||||
LL | impl<T: ?Sized> Trait4a for T {}
|
||||
|
|
@ -30,7 +30,7 @@ LL | impl<T: ?Sized> Trait4a for T {}
|
|||
LL | impl Trait4a for dyn Send {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(dyn std::marker::Send + 'static)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait4b` for type `()`:
|
||||
error[E0119]: conflicting implementations of trait `Trait4b` for type `()`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:46:1
|
||||
|
|
||||
LL | impl Trait4b for () {}
|
||||
|
|
@ -38,7 +38,7 @@ LL | impl Trait4b for () {}
|
|||
LL | impl Trait4b for () {}
|
||||
| ^^^^^^^^^^^^^^^^^^^ conflicting implementation for `()`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait4c` for type `(dyn Trait1 + std::marker::Send + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait4c` for type `(dyn Trait1 + std::marker::Send + 'static)`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:53:1
|
||||
|
|
||||
LL | impl Trait4c for dyn Trait1 + Send {}
|
||||
|
|
@ -46,7 +46,7 @@ LL | impl Trait4c for dyn Trait1 + Send {}
|
|||
LL | impl Trait4c for dyn Trait1 + Send {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(dyn Trait1 + std::marker::Send + 'static)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait4d` for type `dyn std::marker::Send`:
|
||||
error[E0119]: conflicting implementations of trait `Trait4d` for type `dyn std::marker::Send`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:60:1
|
||||
|
|
||||
LL | impl<'a> Trait4d for dyn Send + 'a {}
|
||||
|
|
@ -54,7 +54,7 @@ LL | impl<'a> Trait4d for dyn Send + 'a {}
|
|||
LL | impl<'a> Trait4d for dyn Send + 'a {}
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `dyn std::marker::Send`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait5` for type `(dyn std::marker::Send + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait5` for type `(dyn std::marker::Send + 'static)`
|
||||
--> $DIR/issue-33140-hack-boundaries.rs:67:1
|
||||
|
|
||||
LL | impl Trait5 for dyn Send {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `Trait` for type `(dyn std::marker::Send + std::marker::Sync + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait` for type `(dyn std::marker::Send + std::marker::Sync + 'static)`
|
||||
--> $DIR/issue-33140.rs:9:1
|
||||
|
|
||||
LL | impl Trait for dyn Send + Sync {
|
||||
|
|
@ -7,7 +7,7 @@ LL | impl Trait for dyn Send + Sync {
|
|||
LL | impl Trait for dyn Sync + Send {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(dyn std::marker::Send + std::marker::Sync + 'static)`
|
||||
|
||||
error[E0119]: conflicting implementations of trait `Trait2` for type `(dyn std::marker::Send + std::marker::Sync + 'static)`:
|
||||
error[E0119]: conflicting implementations of trait `Trait2` for type `(dyn std::marker::Send + std::marker::Sync + 'static)`
|
||||
--> $DIR/issue-33140.rs:22:1
|
||||
|
|
||||
LL | impl Trait2 for dyn Send + Sync {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `LocalTrait` for type `std::string::String`:
|
||||
error[E0119]: conflicting implementations of trait `LocalTrait` for type `std::string::String`
|
||||
--> $DIR/rely-on-negative-impl-in-coherence.rs:19:1
|
||||
|
|
||||
LL | impl<T: ForeignTrait> LocalTrait for T { }
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `MyStruct`:
|
||||
error[E0119]: conflicting implementations of trait `std::marker::Send` for type `MyStruct`
|
||||
--> $DIR/overlap-not-permitted-for-builtin-trait.rs:7:1
|
||||
|
|
||||
LL | impl !Send for MyStruct {}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `OtherTrait` for type `()`:
|
||||
error[E0119]: conflicting implementations of trait `OtherTrait` for type `()`
|
||||
--> $DIR/coherence-conflict.rs:11:1
|
||||
|
|
||||
LL | impl OtherTrait for () {}
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ LL | #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
|
|||
= note: `#[warn(incomplete_features)]` on by default
|
||||
= note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
|
||||
|
||||
error[E0119]: conflicting implementations of trait `std::ops::FnOnce<()>` for type `&_`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::FnOnce<()>` for type `&_`
|
||||
--> $DIR/incoherent-assoc-imp-trait.rs:13:1
|
||||
|
|
||||
LL | impl<F> FnOnce<()> for &F {
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0119]: conflicting implementations of trait `std::ops::FnOnce<()>` for type `&_`:
|
||||
error[E0119]: conflicting implementations of trait `std::ops::FnOnce<()>` for type `&_`
|
||||
--> $DIR/incoherent-assoc-imp-trait.rs:13:1
|
||||
|
|
||||
LL | impl<F> FnOnce<()> for &F {
|
||||
|
|
|
|||
Loading…
Reference in New Issue