summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs')
-rw-r--r--src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs b/src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs
deleted file mode 100644
index 25c2dbe19..000000000
--- a/src/test/ui/unboxed-closures/unboxed-closures-failed-recursive-fn-2.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// Various unsuccessful attempts to put the unboxed closure kind
-// inference into an awkward position that might require fixed point
-// iteration (basically where inferring the kind of a closure `c`
-// would require knowing the kind of `c`). I currently believe this is
-// impossible.
-
-fn a() {
- let mut closure0 = None;
- //~^ ERROR type annotations needed
- let vec = vec![1, 2, 3];
-
- loop {
- {
- let closure1 = || {
- match closure0.take() {
- Some(c) => {
- return c();
- }
- None => { }
- }
- };
- closure1();
- }
-
- closure0 = || vec;
- }
-}
-
-fn main() { }