summaryrefslogtreecommitdiffstats
path: root/src/test/ui/function-pointer/sized-ret-with-binder.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/function-pointer/sized-ret-with-binder.rs')
-rw-r--r--src/test/ui/function-pointer/sized-ret-with-binder.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/function-pointer/sized-ret-with-binder.rs b/src/test/ui/function-pointer/sized-ret-with-binder.rs
deleted file mode 100644
index 104ac4d22..000000000
--- a/src/test/ui/function-pointer/sized-ret-with-binder.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// check-pass
-
-#![feature(unboxed_closures)]
-
-fn is_fn<T: for<'a> Fn<(&'a (),)>>() {}
-fn is_fn2<T: for<'a, 'b> Fn<(&'a &'b (),)>>() {}
-
-struct Outlives<'a, 'b>(std::marker::PhantomData<&'a &'b ()>);
-
-fn main() {
- is_fn::<for<'a> fn(&'a ()) -> &'a ()>();
- is_fn::<for<'a> fn(&'a ()) -> &'a dyn std::fmt::Debug>();
- is_fn2::<for<'a, 'b> fn(&'a &'b ()) -> Outlives<'a, 'b>>();
- is_fn2::<for<'a, 'b> fn(&'a &'b ()) -> (&'a (), &'a ())>();
-}