mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove test FIXME re once-module-region

Browse Source
This commit is contained in:
Ali MJ Al-Nasrawy 2024-03-28 06:11:09 +00:00
parent fb35156bb5
commit 59c217fed2
5 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ui/impl-trait/defining-use-captured-non-universal-region.infer.stderr
View File

@ -1,5 +1,5 @@
error[E0792]: expected generic lifetime parameter, found `'_` 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 { LL | fn foo<'a>() -> impl Sized + 'a {
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter

1
tests/ui/impl-trait/defining-use-captured-non-universal-region.rs
View File

@ -1,5 +1,4 @@
// This was an ICE. See #110726. // This was an ICE. See #110726.
// FIXME(aliemjay): outdated due to "once modulo regions" restriction.
//@ revisions: statik infer fixed //@ revisions: statik infer fixed
//@ [fixed] check-pass //@ [fixed] check-pass

2
tests/ui/impl-trait/defining-use-captured-non-universal-region.statik.stderr
View File

@ -1,5 +1,5 @@
error[E0792]: expected generic lifetime parameter, found `'static` 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 { 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 | -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type

1
tests/ui/impl-trait/rpit/non-defining-use-lifetimes.rs
View File

@ -1,5 +1,4 @@
// issue: #111935 // issue: #111935
// FIXME(aliemjay): outdated due to "once modulo regions" restriction.
#![allow(unconditional_recursion)] #![allow(unconditional_recursion)]

8
tests/ui/impl-trait/rpit/non-defining-use-lifetimes.stderr
View File

@ -1,5 +1,5 @@
error[E0792]: expected generic lifetime parameter, found `'static` 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 { 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 | -- 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 `'_` 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 { LL | fn foo<'a>(_: Lt<'a>) -> impl Sized + 'a {
| -- this generic parameter must be used with a generic lifetime parameter | -- 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 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); LL | let _: () = foo(Lt::<'a>::None, Lt::<'a>::None);
| ^^ | ^^
| |
note: lifetime used multiple times 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 { LL | fn foo<'a, 'b>(_: Lt<'a>, _: Lt<'b>) -> impl Sized + 'a + 'b {
| ^^ ^^ | ^^ ^^