diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2021-05-15 12:10:56 -0400 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2021-05-15 12:10:56 -0400 |
| commit | fb6cec440a920c06eebea65c117dbc604899975e (patch) | |
| tree | aad60de6eddcf75d81c25ea137f464ba1990688c /src/test/ui/traits/inductive-overflow | |
| parent | 61157b341eab1b555cb5bd099e030817e6d41ba1 (diff) | |
| download | rust-fb6cec440a920c06eebea65c117dbc604899975e.tar.gz rust-fb6cec440a920c06eebea65c117dbc604899975e.zip | |
Revert to only using opportunistic_resolve_vars for existing places
Diffstat (limited to 'src/test/ui/traits/inductive-overflow')
| -rw-r--r-- | src/test/ui/traits/inductive-overflow/lifetime.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/traits/inductive-overflow/lifetime.stderr | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/src/test/ui/traits/inductive-overflow/lifetime.rs b/src/test/ui/traits/inductive-overflow/lifetime.rs index e23dfa57cd0..b75da1b512d 100644 --- a/src/test/ui/traits/inductive-overflow/lifetime.rs +++ b/src/test/ui/traits/inductive-overflow/lifetime.rs @@ -26,4 +26,6 @@ fn main() { // Should only be a few notes. is_send::<X<C<'static>>>(); //~^ ERROR overflow evaluating + //~| 2 redundant requirements hidden + //~| required because of } diff --git a/src/test/ui/traits/inductive-overflow/lifetime.stderr b/src/test/ui/traits/inductive-overflow/lifetime.stderr index c7397883525..cc913930395 100644 --- a/src/test/ui/traits/inductive-overflow/lifetime.stderr +++ b/src/test/ui/traits/inductive-overflow/lifetime.stderr @@ -1,4 +1,4 @@ -error[E0275]: overflow evaluating the requirement `Box<X<C<'static>>>: NotAuto` +error[E0275]: overflow evaluating the requirement `Box<X<C<'_>>>: NotAuto` --> $DIR/lifetime.rs:27:5 | LL | fn is_send<S: NotAuto>() {} @@ -7,11 +7,13 @@ LL | fn is_send<S: NotAuto>() {} LL | is_send::<X<C<'static>>>(); | ^^^^^^^^^^^^^^^^^^^^^^^^ | -note: required because of the requirements on the impl of `NotAuto` for `X<C<'static>>` +note: required because of the requirements on the impl of `NotAuto` for `X<C<'_>>` --> $DIR/lifetime.rs:19:12 | LL | impl<T: Y> NotAuto for X<T> where T::P: NotAuto {} | ^^^^^^^ ^^^^ + = note: 2 redundant requirements hidden + = note: required because of the requirements on the impl of `NotAuto` for `X<C<'static>>` error: aborting due to previous error |