diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2022-03-07 16:24:41 -0500 |
|---|---|---|
| committer | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2022-03-07 19:35:32 -0500 |
| commit | 06067d94d8122ef079433fb40ef5e0f87ac7d55c (patch) | |
| tree | 4447e23eed62c28c1ae556d615f03e073a5fb3d3 | |
| parent | b4ca2c0958004f7605d4a650603a4fc2df0e3e3b (diff) | |
| download | rust-06067d94d8122ef079433fb40ef5e0f87ac7d55c.tar.gz rust-06067d94d8122ef079433fb40ef5e0f87ac7d55c.zip | |
Bless test
| -rw-r--r-- | src/test/ui/generic-associated-types/issue-91139.migrate.stderr (renamed from src/test/ui/generic-associated-types/issue-91139.stderr) | 2 | ||||
| -rw-r--r-- | src/test/ui/generic-associated-types/issue-91139.rs | 13 |
2 files changed, 12 insertions, 3 deletions
diff --git a/src/test/ui/generic-associated-types/issue-91139.stderr b/src/test/ui/generic-associated-types/issue-91139.migrate.stderr index 270e256e4dd..a27d8110238 100644 --- a/src/test/ui/generic-associated-types/issue-91139.stderr +++ b/src/test/ui/generic-associated-types/issue-91139.migrate.stderr @@ -1,5 +1,5 @@ error[E0311]: the parameter type `T` may not live long enough - --> $DIR/issue-91139.rs:19:12 + --> $DIR/issue-91139.rs:27:12 | LL | fn foo<T>() { | - help: consider adding an explicit lifetime bound...: `T: 'a` diff --git a/src/test/ui/generic-associated-types/issue-91139.rs b/src/test/ui/generic-associated-types/issue-91139.rs index f08a9bf6c88..78b2b63dadc 100644 --- a/src/test/ui/generic-associated-types/issue-91139.rs +++ b/src/test/ui/generic-associated-types/issue-91139.rs @@ -1,4 +1,13 @@ -// check-fail +// revisions: migrate nll +//[nll]compile-flags: -Z borrowck=mir + +// Since we are testing nll (and migration) explicitly as a separate +// revisions, don't worry about the --compare-mode=nll on this test. + +// ignore-compare-mode-nll + +//[nll] check-pass +//[migrate] check-fail #![feature(generic_associated_types)] @@ -16,7 +25,7 @@ impl<T> Foo<T> for () { fn foo<T>() { let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| (); - //~^ the parameter type `T` may not live long enough + //[migrate]~^ the parameter type `T` may not live long enough } pub fn main() {} |