From 630dff6ba7217d15e757ba4c552b8a4bedca4130 Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Sun, 30 Oct 2022 20:51:30 +0000 Subject: [PATCH] tests --- src/test/ui/closures/binder/late-bound-in-body.rs | 9 +++++++++ src/test/ui/closures/binder/nested-closures.rs | 7 +++++++ 2 files changed, 16 insertions(+) create mode 100644 src/test/ui/closures/binder/late-bound-in-body.rs create mode 100644 src/test/ui/closures/binder/nested-closures.rs diff --git a/src/test/ui/closures/binder/late-bound-in-body.rs b/src/test/ui/closures/binder/late-bound-in-body.rs new file mode 100644 index 000000000000..bb5c7552fdaa --- /dev/null +++ b/src/test/ui/closures/binder/late-bound-in-body.rs @@ -0,0 +1,9 @@ +// check-pass + +#![feature(closure_lifetime_binder)] + +fn main() { + let _ = for<'a> || -> () { + let _: &'a bool = &true; + }; +} diff --git a/src/test/ui/closures/binder/nested-closures.rs b/src/test/ui/closures/binder/nested-closures.rs new file mode 100644 index 000000000000..b3c36e7eebb7 --- /dev/null +++ b/src/test/ui/closures/binder/nested-closures.rs @@ -0,0 +1,7 @@ +// check-pass + +#![feature(closure_lifetime_binder)] + +fn main() { + for<'a> || -> () { for<'c> |_: &'a ()| -> () {}; }; +}