src/test/run-pass/kindck-implicit-close-over-mut-var.rs

   1 // Copyright 2012-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(std_misc)]
  12
  13 use std::thread::Thread;
  14
  15 fn user(_i: isize) {}
  16
  17 fn foo() {
  18     // Here, i is *copied* into the proc (heap closure).
  19     // Requires allocation.  The proc's copy is not mutable.
  20     let mut i = 0;
  21     let _t = Thread::spawn(move|| {
  22         user(i);
  23         println!("spawned {}", i)
  24     });
  25     i += 1;
  26     println!("original {}", i)
  27 }
  28
  29 fn bar() {
  30     // Here, the original i has not been moved, only copied, so is still
  31     // mutable outside of the proc.
  32     let mut i = 0;
  33     while i < 10 {
  34         let _t = Thread::spawn(move|| {
  35             user(i);
  36         });
  37         i += 1;
  38     }
  39 }
  40
  41 fn car() {
  42     // Here, i must be shadowed in the proc to be mutable.
  43     let mut i = 0;
  44     while i < 10 {
  45         let _t = Thread::spawn(move|| {
  46             let mut i = i;
  47             i += 1;
  48             user(i);
  49         });
  50         i += 1;
  51     }
  52 }
  53
  54 pub fn main() {}