diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/generic-associated-types/issue-92096.migrate.stderr (renamed from src/test/ui/generic-associated-types/issue-92096.stderr) | 4 | ||||
| -rw-r--r-- | src/test/ui/generic-associated-types/issue-92096.rs | 12 |
2 files changed, 9 insertions, 7 deletions
diff --git a/src/test/ui/generic-associated-types/issue-92096.stderr b/src/test/ui/generic-associated-types/issue-92096.migrate.stderr index a897ba5b966..72ade5774d7 100644 --- a/src/test/ui/generic-associated-types/issue-92096.stderr +++ b/src/test/ui/generic-associated-types/issue-92096.migrate.stderr @@ -1,5 +1,5 @@ error[E0311]: the parameter type `C` may not live long enough - --> $DIR/issue-92096.rs:18:33 + --> $DIR/issue-92096.rs:20:33 | LL | fn call_connect<C>(c: &'_ C) -> impl '_ + Future + Send | - ^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `C` will meet its required lifetime bounds @@ -7,7 +7,7 @@ LL | fn call_connect<C>(c: &'_ C) -> impl '_ + Future + Send | help: consider adding an explicit lifetime bound...: `C: 'a` error[E0311]: the parameter type `C` may not live long enough - --> $DIR/issue-92096.rs:18:33 + --> $DIR/issue-92096.rs:20:33 | LL | fn call_connect<C>(c: &'_ C) -> impl '_ + Future + Send | - ^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `C` will meet its required lifetime bounds diff --git a/src/test/ui/generic-associated-types/issue-92096.rs b/src/test/ui/generic-associated-types/issue-92096.rs index 6c81babc0bc..066132a5d98 100644 --- a/src/test/ui/generic-associated-types/issue-92096.rs +++ b/src/test/ui/generic-associated-types/issue-92096.rs @@ -1,8 +1,10 @@ // edition:2018 -// check-fail -// FIXME(generic_associated_types): this should pass, but we end up -// essentially requiring that `for<'s> C: 's` +// [nll] check-pass +// revisions: migrate nll +// Explicitly testing nll with revision, so ignore compare-mode=nll +// ignore-compare-mode-nll +#![cfg_attr(nll, feature(nll))] #![feature(generic_associated_types)] use std::future::Future; @@ -16,8 +18,8 @@ trait Client { } fn call_connect<C>(c: &'_ C) -> impl '_ + Future + Send -//~^ ERROR the parameter -//~| ERROR the parameter +//[migrate]~^ ERROR the parameter +//[migrate]~| ERROR the parameter where C: Client + Send + Sync, { |