]> git.lizzy.rs Git - rust.git/blob - src/test/ui/unboxed-closures/unboxed-closure-illegal-move.rs
Auto merge of #54720 - davidtwco:issue-51191, r=nikomatsakis
[rust.git] / src / test / ui / unboxed-closures / unboxed-closure-illegal-move.rs
1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 #![feature(unboxed_closures)]
12
13 // Tests that we can't move out of an unboxed closure environment
14 // if the upvar is captured by ref or the closure takes self by
15 // reference.
16
17 fn to_fn<A,F:Fn<A>>(f: F) -> F { f }
18 fn to_fn_mut<A,F:FnMut<A>>(f: F) -> F { f }
19 fn to_fn_once<A,F:FnOnce<A>>(f: F) -> F { f }
20
21 fn main() {
22     // By-ref cases
23     {
24         let x = Box::new(0);
25         let f = to_fn(|| drop(x)); //~ ERROR cannot move
26     }
27     {
28         let x = Box::new(0);
29         let f = to_fn_mut(|| drop(x)); //~ ERROR cannot move
30     }
31     {
32         let x = Box::new(0);
33         let f = to_fn_once(|| drop(x)); // OK -- FnOnce
34     }
35     // By-value cases
36     {
37         let x = Box::new(0);
38         let f = to_fn(move || drop(x)); //~ ERROR cannot move
39     }
40     {
41         let x = Box::new(0);
42         let f = to_fn_mut(move || drop(x)); //~ ERROR cannot move
43     }
44     {
45         let x = Box::new(0);
46         let f = to_fn_once(move || drop(x)); // this one is ok
47     }
48 }