Skip to content

Commit

Permalink
remove test FIXME re once-module-region
Browse files Browse the repository at this point in the history
  • Loading branch information
aliemjay committed Mar 28, 2024
1 parent fb35156 commit 59c217f
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 8 deletions.
Original file line number Diff line number Diff line change
@@ -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
Expand Down
Original file line number Diff line number Diff line change
@@ -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
Expand Down
Original file line number Diff line number Diff line change
@@ -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
Expand Down
1 change: 0 additions & 1 deletion tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
// issue: #111935
// FIXME(aliemjay): outdated due to "once modulo regions" restriction.

#![allow(unconditional_recursion)]

Expand Down
8 changes: 4 additions & 4 deletions tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr
Original file line number Diff line number Diff line change
@@ -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 {
| ^^ ^^
Expand Down

0 comments on commit 59c217f

Please sign in to comment.