remove test FIXME re once-module-region

aliemjay · aliemjay · commit 59c217fed2bc · 2024-03-28T06:41:22.000Z
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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,27 +1,27 @@
 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
 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
 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 {
    |                                                          ^^   ^^

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0792]: expected generic lifetime parameter, found `'_`
`2`		`- --> $DIR/defining-use-captured-non-universal-region.rs:14:18`
	`2`	`+ --> $DIR/defining-use-captured-non-universal-region.rs:13:18`
`3`	`3`	`\|`
`4`	`4`	`LL \| fn foo<'a>() -> impl Sized + 'a {`
`5`	`5`	`\| -- this generic parameter must be used with a generic lifetime parameter`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`// This was an ICE. See #110726.`
`2`		`-// FIXME(aliemjay): outdated due to "once modulo regions" restriction.`
`3`	`2`
`4`	`3`	`//@ revisions: statik infer fixed`
`5`	`4`	`//@ [fixed] check-pass`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`// issue: #111935`
`2`		`-// FIXME(aliemjay): outdated due to "once modulo regions" restriction.`
`3`	`2`
`4`	`3`	`#![allow(unconditional_recursion)]`
`5`	`4`