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

Add a regression test for #109054

Browse Source 
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
This commit is contained in:
Yuki Okushi 2023-06-29 23:55:34 +09:00
parent e4cd161006
commit 86728e74e0
No known key found for this signature in database
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
tests/ui/type-alias-impl-trait/issue-109054.rs Normal file
View File

@ -0,0 +1,22 @@
// edition:2021
#![feature(type_alias_impl_trait)]
struct CallMe;
type ReturnType<'a> = impl std::future::Future<Output = u32> + 'a;
type FnType = impl Fn(&u32) -> ReturnType;
impl std::ops::Deref for CallMe {
type Target = FnType;
fn deref(&self) -> &Self::Target {
fn inner(val: &u32) -> ReturnType {
async move { *val * 2 }
}
&inner //~ ERROR: expected generic lifetime parameter, found `'_`
}
}
fn main() {}

12
tests/ui/type-alias-impl-trait/issue-109054.stderr Normal file
View File

@ -0,0 +1,12 @@
error[E0792]: expected generic lifetime parameter, found `'_`
--> $DIR/issue-109054.rs:18:9
|
LL | type ReturnType<'a> = impl std::future::Future<Output = u32> + 'a;
| -- this generic parameter must be used with a generic lifetime parameter
...
LL | &inner
| ^^^^^^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0792`.