1 // Various unsuccessful attempts to put the unboxed closure kind
2 // inference into an awkward position that might require fixed point
3 // iteration (basically where inferring the kind of a closure `c`
4 // would require knowing the kind of `c`). I currently believe this is
8 let mut closure0 = None;
9 let vec = vec![1, 2, 3];
14 match closure0.take() {
17 //~^ ERROR type annotations needed