This commit is contained in:
Michael Goulet 2022-10-30 20:51:30 +00:00
parent 5ba1556e0d
commit 630dff6ba7
2 changed files with 16 additions and 0 deletions

View File

@ -0,0 +1,9 @@
// check-pass
#![feature(closure_lifetime_binder)]
fn main() {
let _ = for<'a> || -> () {
let _: &'a bool = &true;
};
}

View File

@ -0,0 +1,7 @@
// check-pass
#![feature(closure_lifetime_binder)]
fn main() {
for<'a> || -> () { for<'c> |_: &'a ()| -> () {}; };
}