From 59c217fed2bc74f3685bf3461674f6b3c7e113c3 Mon Sep 17 00:00:00 2001 From: Ali MJ Al-Nasrawy Date: Thu, 28 Mar 2024 06:11:09 +0000 Subject: [PATCH] remove test FIXME re once-module-region --- ...efining-use-captured-non-universal-region.infer.stderr | 2 +- .../defining-use-captured-non-universal-region.rs | 1 - ...fining-use-captured-non-universal-region.statik.stderr | 2 +- tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs | 1 - .../ui/impl-trait/rpit/non-defining-use-lifetimes.stderr | 8 ++++---- 5 files changed, 6 insertions(+), 8 deletions(-) diff --git a/tests/ui/impl-trait/defining-use-captured-non-universal-region.infer.stderr b/tests/ui/impl-trait/defining-use-captured-non-universal-region.infer.stderr index 2cb82bf771c..ded9a92d8e8 100644 --- a/tests/ui/impl-trait/defining-use-captured-non-universal-region.infer.stderr +++ b/tests/ui/impl-trait/defining-use-captured-non-universal-region.infer.stderr @@ -1,5 +1,5 @@ error[E0792]: expected generic lifetime parameter, found `'_` - --> $DIR/defining-use-captured-non-universal-region.rs:14:18 + --> $DIR/defining-use-captured-non-universal-region.rs:13:18 | LL | fn foo<'a>() -> impl Sized + 'a { | -- this generic parameter must be used with a generic lifetime parameter diff --git a/tests/ui/impl-trait/defining-use-captured-non-universal-region.rs b/tests/ui/impl-trait/defining-use-captured-non-universal-region.rs index 2d54804f1fa..e18302dc061 100644 --- a/tests/ui/impl-trait/defining-use-captured-non-universal-region.rs +++ b/tests/ui/impl-trait/defining-use-captured-non-universal-region.rs @@ -1,5 +1,4 @@ // This was an ICE. See #110726. -// FIXME(aliemjay): outdated due to "once modulo regions" restriction. //@ revisions: statik infer fixed //@ [fixed] check-pass diff --git a/tests/ui/impl-trait/defining-use-captured-non-universal-region.statik.stderr b/tests/ui/impl-trait/defining-use-captured-non-universal-region.statik.stderr index 0d9b7df2257..43beb29f9ec 100644 --- a/tests/ui/impl-trait/defining-use-captured-non-universal-region.statik.stderr +++ b/tests/ui/impl-trait/defining-use-captured-non-universal-region.statik.stderr @@ -1,5 +1,5 @@ error[E0792]: expected generic lifetime parameter, found `'static` - --> $DIR/defining-use-captured-non-universal-region.rs:10:18 + --> $DIR/defining-use-captured-non-universal-region.rs:9:18 | LL | fn foo<'a>() -> impl Sized + 'a { | -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type diff --git a/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs b/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs index cad41d2f2ed..5e04e6b091a 100644 --- a/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs +++ b/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs @@ -1,5 +1,4 @@ // issue: #111935 -// FIXME(aliemjay): outdated due to "once modulo regions" restriction. #![allow(unconditional_recursion)] diff --git a/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr b/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr index 7ef96a2e595..d2a224601fb 100644 --- a/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr +++ b/tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr @@ -1,5 +1,5 @@ error[E0792]: expected generic lifetime parameter, found `'static` - --> $DIR/non-defining-use-lifetimes.rs:14:16 + --> $DIR/non-defining-use-lifetimes.rs:13:16 | LL | fn foo<'a>(_: Lt<'a>) -> impl Sized + 'a { | -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type @@ -7,7 +7,7 @@ LL | let _: () = foo(Lt::<'static>::None); | ^^ error[E0792]: expected generic lifetime parameter, found `'_` - --> $DIR/non-defining-use-lifetimes.rs:23:16 + --> $DIR/non-defining-use-lifetimes.rs:22:16 | LL | fn foo<'a>(_: Lt<'a>) -> impl Sized + 'a { | -- this generic parameter must be used with a generic lifetime parameter @@ -15,13 +15,13 @@ LL | let _: () = foo(Lt::<'_>::None); | ^^ error: non-defining opaque type use in defining scope - --> $DIR/non-defining-use-lifetimes.rs:33:16 + --> $DIR/non-defining-use-lifetimes.rs:32:16 | LL | let _: () = foo(Lt::<'a>::None, Lt::<'a>::None); | ^^ | note: lifetime used multiple times - --> $DIR/non-defining-use-lifetimes.rs:32:58 + --> $DIR/non-defining-use-lifetimes.rs:31:58 | LL | fn foo<'a, 'b>(_: Lt<'a>, _: Lt<'b>) -> impl Sized + 'a + 'b { | ^^ ^^