summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/closure-in-projection-issue-97405.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/closure-in-projection-issue-97405.rs')
-rw-r--r--src/test/ui/regions/closure-in-projection-issue-97405.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/regions/closure-in-projection-issue-97405.rs b/src/test/ui/regions/closure-in-projection-issue-97405.rs
deleted file mode 100644
index e567d5c27..000000000
--- a/src/test/ui/regions/closure-in-projection-issue-97405.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-// Regression test for #97405.
-// In `good_generic_fn` the param `T` ends up in the substs of closures/generators,
-// but we should be able to prove `<Gen<T> as Iterator>::Item: 'static` without
-// requiring `T: 'static`
-
-// edition:2018
-// check-fail
-
-fn opaque<F>(_: F) -> impl Iterator { b"".iter() }
-
-fn assert_static<T: 'static>(_: T) {}
-
-fn good_generic_fn<T>() {
- // Previously, proving `<OpaqueTy<type_of(async {})> as Iterator>::Item: 'static`
- // used to require `T: 'static`.
- assert_static(opaque(async {}).next());
- assert_static(opaque(|| {}).next());
- assert_static(opaque(opaque(async {}).next()).next());
-}
-
-
-// This should fail because `T` ends up in the upvars of the closure.
-fn bad_generic_fn<T: Copy>(t: T) {
- assert_static(opaque(async move { t; }).next());
- //~^ ERROR the associated type `<impl Iterator as Iterator>::Item` may not live long enough
- assert_static(opaque(move || { t; }).next());
- //~^ ERROR the associated type `<impl Iterator as Iterator>::Item` may not live long enough
- assert_static(opaque(opaque(async move { t; }).next()).next());
- //~^ ERROR the associated type `<impl Iterator as Iterator>::Item` may not live long enough
-}
-
-fn main() {}