diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2020-04-11 14:14:16 -0700 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2020-04-18 16:37:08 -0700 |
| commit | ce936e9336afbd1ff116c64f0fdcc438b4745c54 (patch) | |
| tree | 5f982f9f0187e0b5f7757e3af8e34c18e366ba4d /src/test | |
| parent | 6bc55c701f50ccdc8605b37cdf62d02ec596b108 (diff) | |
| download | rust-ce936e9336afbd1ff116c64f0fdcc438b4745c54.tar.gz rust-ce936e9336afbd1ff116c64f0fdcc438b4745c54.zip | |
Do not emit note for projected derived obligations
Diffstat (limited to 'src/test')
24 files changed, 0 insertions, 44 deletions
diff --git a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr b/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr index dd2f30e6dc0..96e69063189 100644 --- a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr +++ b/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr @@ -11,7 +11,6 @@ LL | impl Case1 for S1 { | ^^^^^ `<L1 as Lam<&'a u8>>::App` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug` | = help: the trait `for<'a> std::fmt::Debug` is not implemented for `<L1 as Lam<&'a u8>>::App` - = note: required because of the requirements on the impl of `for<'a> std::fmt::Debug` for `<<<<S1 as Case1>::C as std::iter::Iterator>::Item as std::iter::Iterator>::Item as Lam<&'a u8>>::App` error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` is not an iterator --> $DIR/bad-bounds-on-assoc-in-trait.rs:36:20 diff --git a/src/test/ui/associated-types/defaults-unsound-62211-1.stderr b/src/test/ui/associated-types/defaults-unsound-62211-1.stderr index c4ab7b6e26e..7bf75f3839c 100644 --- a/src/test/ui/associated-types/defaults-unsound-62211-1.stderr +++ b/src/test/ui/associated-types/defaults-unsound-62211-1.stderr @@ -53,7 +53,6 @@ LL | impl<T> UncheckedCopy for T {} | = help: the trait `std::fmt::Display` is not implemented for `T` = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead - = note: required because of the requirements on the impl of `std::fmt::Display` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::fmt::Display> UncheckedCopy for T {} @@ -71,7 +70,6 @@ LL | + Deref<Target = str> LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ the trait `std::ops::Deref` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::ops::Deref` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::ops::Deref> UncheckedCopy for T {} @@ -90,7 +88,6 @@ LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ no implementation for `T += &'static str` | = help: the trait `std::ops::AddAssign<&'static str>` is not implemented for `T` - = note: required because of the requirements on the impl of `std::ops::AddAssign<&'static str>` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::ops::AddAssign<&'static str>> UncheckedCopy for T {} @@ -108,7 +105,6 @@ LL | type Output: Copy LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::marker::Copy` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::marker::Copy> UncheckedCopy for T {} diff --git a/src/test/ui/associated-types/defaults-unsound-62211-2.stderr b/src/test/ui/associated-types/defaults-unsound-62211-2.stderr index c311a9f456e..b6d889515b6 100644 --- a/src/test/ui/associated-types/defaults-unsound-62211-2.stderr +++ b/src/test/ui/associated-types/defaults-unsound-62211-2.stderr @@ -53,7 +53,6 @@ LL | impl<T> UncheckedCopy for T {} | = help: the trait `std::fmt::Display` is not implemented for `T` = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead - = note: required because of the requirements on the impl of `std::fmt::Display` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::fmt::Display> UncheckedCopy for T {} @@ -71,7 +70,6 @@ LL | + Deref<Target = str> LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ the trait `std::ops::Deref` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::ops::Deref` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::ops::Deref> UncheckedCopy for T {} @@ -90,7 +88,6 @@ LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ no implementation for `T += &'static str` | = help: the trait `std::ops::AddAssign<&'static str>` is not implemented for `T` - = note: required because of the requirements on the impl of `std::ops::AddAssign<&'static str>` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::ops::AddAssign<&'static str>> UncheckedCopy for T {} @@ -108,7 +105,6 @@ LL | type Output: Copy LL | impl<T> UncheckedCopy for T {} | ^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::marker::Copy` for `<T as UncheckedCopy>::Output` help: consider restricting type parameter `T` | LL | impl<T: std::marker::Copy> UncheckedCopy for T {} diff --git a/src/test/ui/associated-types/issue-43924.stderr b/src/test/ui/associated-types/issue-43924.stderr index 38dd8b66a6e..58f71b8b14e 100644 --- a/src/test/ui/associated-types/issue-43924.stderr +++ b/src/test/ui/associated-types/issue-43924.stderr @@ -16,8 +16,6 @@ LL | type Out: Default + ToString + ?Sized = dyn ToString; ... LL | impl Foo<u32> for () {} | ^^^^^^^^ the trait `std::default::Default` is not implemented for `(dyn std::string::ToString + 'static)` - | - = note: required because of the requirements on the impl of `std::default::Default` for `<() as Foo<u32>>::Out` error[E0277]: the trait bound `(dyn std::string::ToString + 'static): std::default::Default` is not satisfied --> $DIR/issue-43924.rs:11:6 @@ -29,8 +27,6 @@ LL | type Out: Default + ToString + ?Sized = dyn ToString; ... LL | impl Foo<u64> for () {} | ^^^^^^^^ the trait `std::default::Default` is not implemented for `(dyn std::string::ToString + 'static)` - | - = note: required because of the requirements on the impl of `std::default::Default` for `<() as Foo<u64>>::Out` error: aborting due to 3 previous errors diff --git a/src/test/ui/associated-types/issue-65774-1.stderr b/src/test/ui/associated-types/issue-65774-1.stderr index ae3ebe811e2..2e5a1ebf19a 100644 --- a/src/test/ui/associated-types/issue-65774-1.stderr +++ b/src/test/ui/associated-types/issue-65774-1.stderr @@ -16,8 +16,6 @@ LL | type MpuConfig: MyDisplay = T; ... LL | impl MPU for S { } | ^^^ the trait `MyDisplay` is not implemented for `T` - | - = note: required because of the requirements on the impl of `MyDisplay` for `<S as MPU>::MpuConfig` error: aborting due to 2 previous errors diff --git a/src/test/ui/associated-types/issue-65774-2.stderr b/src/test/ui/associated-types/issue-65774-2.stderr index dadf229bd5d..5b3986407bc 100644 --- a/src/test/ui/associated-types/issue-65774-2.stderr +++ b/src/test/ui/associated-types/issue-65774-2.stderr @@ -16,8 +16,6 @@ LL | type MpuConfig: MyDisplay = T; ... LL | impl MPU for S { } | ^^^ the trait `MyDisplay` is not implemented for `T` - | - = note: required because of the requirements on the impl of `MyDisplay` for `<S as MPU>::MpuConfig` error: aborting due to 2 previous errors diff --git a/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.stderr b/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.stderr index cdc9559cd95..dac713567b5 100644 --- a/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.stderr +++ b/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.stderr @@ -8,8 +8,6 @@ LL | type Assoc: Bar; ... LL | type Assoc = bool; | ^^^^ the trait `Bar` is not implemented for `bool` - | - = note: required because of the requirements on the impl of `Bar` for `<() as Foo>::Assoc` error[E0277]: the trait bound `bool: Bar` is not satisfied --> $DIR/point-at-type-on-obligation-failure-2.rs:16:18 @@ -19,8 +17,6 @@ LL | trait Baz where Self::Assoc: Bar { ... LL | type Assoc = bool; | ^^^^ the trait `Bar` is not implemented for `bool` - | - = note: required because of the requirements on the impl of `Bar` for `<() as Baz>::Assoc` error[E0277]: the trait bound `bool: Bar` is not satisfied --> $DIR/point-at-type-on-obligation-failure-2.rs:24:18 @@ -30,8 +26,6 @@ LL | trait Bat where <Self as Bat>::Assoc: Bar { ... LL | type Assoc = bool; | ^^^^ the trait `Bar` is not implemented for `bool` - | - = note: required because of the requirements on the impl of `Bar` for `<() as Bat>::Assoc` error: aborting due to 3 previous errors diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-double-superkind.stderr b/src/test/ui/builtin-superkinds/builtin-superkinds-double-superkind.stderr index b1437a36692..4e7b513629d 100644 --- a/src/test/ui/builtin-superkinds/builtin-superkinds-double-superkind.stderr +++ b/src/test/ui/builtin-superkinds/builtin-superkinds-double-superkind.stderr @@ -9,7 +9,6 @@ LL | impl <T: Sync+'static> Foo for (T,) { } | = help: within `(T,)`, the trait `std::marker::Send` is not implemented for `T` = note: required because it appears within the type `(T,)` - = note: required because of the requirements on the impl of `std::marker::Send` for `(T,)` help: consider further restricting this bound | LL | impl <T: Sync+'static + std::marker::Send> Foo for (T,) { } @@ -26,7 +25,6 @@ LL | impl <T: Send> Foo for (T,T) { } | = help: within `(T, T)`, the trait `std::marker::Sync` is not implemented for `T` = note: required because it appears within the type `(T, T)` - = note: required because of the requirements on the impl of `std::marker::Sync` for `(T, T)` help: consider further restricting this bound | LL | impl <T: Send + std::marker::Sync> Foo for (T,T) { } diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-in-metadata.stderr b/src/test/ui/builtin-superkinds/builtin-superkinds-in-metadata.stderr index 8555c843a93..3fb1af3a67c 100644 --- a/src/test/ui/builtin-superkinds/builtin-superkinds-in-metadata.stderr +++ b/src/test/ui/builtin-superkinds/builtin-superkinds-in-metadata.stderr @@ -11,7 +11,6 @@ LL | pub trait RequiresRequiresShareAndSend : RequiresShare + Send { } | = help: within `X<T>`, the trait `std::marker::Send` is not implemented for `T` = note: required because it appears within the type `X<T>` - = note: required because of the requirements on the impl of `std::marker::Send` for `X<T>` help: consider further restricting this bound | LL | impl <T:Sync+'static + std::marker::Send> RequiresRequiresShareAndSend for X<T> { } diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-simple.stderr b/src/test/ui/builtin-superkinds/builtin-superkinds-simple.stderr index b4f22f2d68f..592cc3b1c4e 100644 --- a/src/test/ui/builtin-superkinds/builtin-superkinds-simple.stderr +++ b/src/test/ui/builtin-superkinds/builtin-superkinds-simple.stderr @@ -8,7 +8,6 @@ LL | impl Foo for std::rc::Rc<i8> { } | ^^^ `std::rc::Rc<i8>` cannot be sent between threads safely | = help: the trait `std::marker::Send` is not implemented for `std::rc::Rc<i8>` - = note: required because of the requirements on the impl of `std::marker::Send` for `std::rc::Rc<i8>` error: aborting due to previous error diff --git a/src/test/ui/builtin-superkinds/builtin-superkinds-typaram-not-send.stderr b/src/test/ui/builtin-superkinds/builtin-superkinds-typaram-not-send.stderr index 1334997c3d9..9c5073a1e49 100644 --- a/src/test/ui/builtin-superkinds/builtin-superkinds-typaram-not-send.stderr +++ b/src/test/ui/builtin-superkinds/builtin-superkinds-typaram-not-send.stderr @@ -8,7 +8,6 @@ LL | impl <T: Sync+'static> Foo for T { } | ^^^ `T` cannot be sent between threads safely | = help: the trait `std::marker::Send` is not implemented for `T` - = note: required because of the requirements on the impl of `std::marker::Send` for `T` help: consider further restricting this bound | LL | impl <T: Sync+'static + std::marker::Send> Foo for T { } diff --git a/src/test/ui/dst/dst-sized-trait-param.stderr b/src/test/ui/dst/dst-sized-trait-param.stderr index 14c7d02c258..749d569b9ae 100644 --- a/src/test/ui/dst/dst-sized-trait-param.stderr +++ b/src/test/ui/dst/dst-sized-trait-param.stderr @@ -9,7 +9,6 @@ LL | impl Foo<[isize]> for usize { } | = help: the trait `std::marker::Sized` is not implemented for `[isize]` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `[isize]` error[E0277]: the size for values of type `[usize]` cannot be known at compilation time --> $DIR/dst-sized-trait-param.rs:10:6 @@ -22,7 +21,6 @@ LL | impl Foo<isize> for [usize] { } | = help: the trait `std::marker::Sized` is not implemented for `[usize]` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `[usize]` error: aborting due to 2 previous errors diff --git a/src/test/ui/generics/issue-61631-default-type-param-can-reference-self-in-trait.stderr b/src/test/ui/generics/issue-61631-default-type-param-can-reference-self-in-trait.stderr index 3f06dfdccd8..95f4aa9e6db 100644 --- a/src/test/ui/generics/issue-61631-default-type-param-can-reference-self-in-trait.stderr +++ b/src/test/ui/generics/issue-61631-default-type-param-can-reference-self-in-trait.stderr @@ -9,7 +9,6 @@ LL | impl Tsized for () {} | = help: the trait `std::marker::Sized` is not implemented for `[()]` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `[()]` error: aborting due to previous error diff --git a/src/test/ui/impl-bounds-checking.stderr b/src/test/ui/impl-bounds-checking.stderr index 6453508410e..8698ed6e875 100644 --- a/src/test/ui/impl-bounds-checking.stderr +++ b/src/test/ui/impl-bounds-checking.stderr @@ -6,8 +6,6 @@ LL | trait Getter<T: Clone2> { ... LL | impl Getter<isize> for isize { | ^^^^^^^^^^^^^ the trait `Clone2` is not implemented for `isize` - | - = note: required because of the requirements on the impl of `Clone2` for `isize` error: aborting due to previous error diff --git a/src/test/ui/issues/issue-10412.stderr b/src/test/ui/issues/issue-10412.stderr index 9c50b4af9a9..888576c4336 100644 --- a/src/test/ui/issues/issue-10412.stderr +++ b/src/test/ui/issues/issue-10412.stderr @@ -57,7 +57,6 @@ LL | impl<'self> Serializable<str> for &'self str { | = help: the trait `std::marker::Sized` is not implemented for `str` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `str` error: aborting due to 9 previous errors diff --git a/src/test/ui/issues/issue-43784-associated-type.stderr b/src/test/ui/issues/issue-43784-associated-type.stderr index fa835f5543d..d8e9110fbbd 100644 --- a/src/test/ui/issues/issue-43784-associated-type.stderr +++ b/src/test/ui/issues/issue-43784-associated-type.stderr @@ -4,7 +4,6 @@ error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied LL | type Assoc = T; | ^ the trait `std::marker::Copy` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::marker::Copy` for `<T as Complete>::Assoc` help: consider restricting type parameter `T` | LL | impl<T: std::marker::Copy> Complete for T { diff --git a/src/test/ui/issues/issue-43784-supertrait.stderr b/src/test/ui/issues/issue-43784-supertrait.stderr index 86c0f8f597b..2fb0583ee7d 100644 --- a/src/test/ui/issues/issue-43784-supertrait.stderr +++ b/src/test/ui/issues/issue-43784-supertrait.stderr @@ -4,7 +4,6 @@ error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied LL | impl<T> Complete for T {} | ^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T` | - = note: required because of the requirements on the impl of `std::marker::Copy` for `T` help: consider restricting type parameter `T` | LL | impl<T: std::marker::Copy> Complete for T {} diff --git a/src/test/ui/issues/issue-65673.stderr b/src/test/ui/issues/issue-65673.stderr index d1a490eb565..6778ab8bfe4 100644 --- a/src/test/ui/issues/issue-65673.stderr +++ b/src/test/ui/issues/issue-65673.stderr @@ -11,7 +11,6 @@ LL | type Ctx = dyn Alias<T>; | = help: the trait `std::marker::Sized` is not implemented for `(dyn Trait + 'static)` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `<T as WithType>::Ctx` error: aborting due to previous error diff --git a/src/test/ui/malformed/malformed-derive-entry.stderr b/src/test/ui/malformed/malformed-derive-entry.stderr index 74606b71bf1..2c45a498240 100644 --- a/src/test/ui/malformed/malformed-derive-entry.stderr +++ b/src/test/ui/malformed/malformed-derive-entry.stderr @@ -27,7 +27,6 @@ LL | #[derive(Copy(Bad))] LL | pub trait Copy: Clone { | ----- required by this bound in `std::marker::Copy` | - = note: required because of the requirements on the impl of `std::clone::Clone` for `Test1` = note: this error originates in a derive macro (in Nightly builds, run with -Z macro-backtrace for more info) error[E0277]: the trait bound `Test2: std::clone::Clone` is not satisfied @@ -41,7 +40,6 @@ LL | #[derive(Copy="bad")] LL | pub trait Copy: Clone { | ----- required by this bound in `std::marker::Copy` | - = note: required because of the requirements on the impl of `std::clone::Clone` for `Test2` = note: this error originates in a derive macro (in Nightly builds, run with -Z macro-backtrace for more info) error: aborting due to 5 previous errors diff --git a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr b/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr index 91e45df8d3e..f499c1f5698 100644 --- a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr +++ b/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr @@ -7,7 +7,6 @@ LL | LL | default impl<U> Foo<'static, U> for () {} | ^^^^^^^^^^^^^^^ the trait `std::cmp::Eq` is not implemented for `U` | - = note: required because of the requirements on the impl of `std::cmp::Eq` for `U` help: consider restricting type parameter `U` | LL | default impl<U: std::cmp::Eq> Foo<'static, U> for () {} diff --git a/src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr b/src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr index 2091e30f115..c5510bfa3f2 100644 --- a/src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr +++ b/src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr @@ -28,7 +28,6 @@ LL | type Assoc = ChildWrapper<T::Assoc>; | ^^^^^^^^^^^^^^^^^^^^^^ the trait `Child<A>` is not implemented for `<T as Parent>::Assoc` | = note: required because of the requirements on the impl of `Child<A>` for `ChildWrapper<<T as Parent>::Assoc>` - = note: required because of the requirements on the impl of `Child<<ParentWrapper<T> as Parent>::Ty>` for `<ParentWrapper<T> as Parent>::Assoc` error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied --> $DIR/missing-assoc-type-bound-restriction.rs:20:5 diff --git a/src/test/ui/traits/cycle-cache-err-60010.stderr b/src/test/ui/traits/cycle-cache-err-60010.stderr index 9e2e5568ba2..356b90d0646 100644 --- a/src/test/ui/traits/cycle-cache-err-60010.stderr +++ b/src/test/ui/traits/cycle-cache-err-60010.stderr @@ -21,7 +21,6 @@ LL | type Storage = SalsaStorage; = note: required because of the requirements on the impl of `SourceDatabase` for `RootDatabase` = note: required because of the requirements on the impl of `Query<RootDatabase>` for `ParseQuery` = note: required because it appears within the type `SalsaStorage` - = note: required because of the requirements on the impl of `std::marker::Sized` for `<RootDatabase as Database>::Storage` error: aborting due to 2 previous errors diff --git a/src/test/ui/unsized/unsized-trait-impl-trait-arg.stderr b/src/test/ui/unsized/unsized-trait-impl-trait-arg.stderr index 502dd201058..4cf054d177f 100644 --- a/src/test/ui/unsized/unsized-trait-impl-trait-arg.stderr +++ b/src/test/ui/unsized/unsized-trait-impl-trait-arg.stderr @@ -11,7 +11,6 @@ LL | impl<X: ?Sized> T2<X> for S4<X> { | = help: the trait `std::marker::Sized` is not implemented for `X` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `X` error: aborting due to previous error diff --git a/src/test/ui/unsized7.stderr b/src/test/ui/unsized7.stderr index cd30c98f55d..d18644f005a 100644 --- a/src/test/ui/unsized7.stderr +++ b/src/test/ui/unsized7.stderr @@ -11,7 +11,6 @@ LL | impl<X: ?Sized + T> T1<X> for S3<X> { | = help: the trait `std::marker::Sized` is not implemented for `X` = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait> - = note: required because of the requirements on the impl of `std::marker::Sized` for `X` error: aborting due to previous error |
