src/test/ui/borrowck/borrowck-mut-uniq.rs

   1 // run-pass
   2 #![feature(box_syntax)]
   3
   4 use std::mem::swap;
   5
   6 #[derive(Debug)]
   7 struct Ints {sum: Box<isize>, values: Vec<isize> }
   8
   9 fn add_int(x: &mut Ints, v: isize) {
  10     *x.sum += v;
  11     let mut values = Vec::new();
  12     swap(&mut values, &mut x.values);
  13     values.push(v);
  14     swap(&mut values, &mut x.values);
  15 }
  16
  17 fn iter_ints<F>(x: &Ints, mut f: F) -> bool where F: FnMut(&isize) -> bool {
  18     let l = x.values.len();
  19     (0..l).all(|i| f(&x.values[i]))
  20 }
  21
  22 pub fn main() {
  23     let mut ints: Box<_> = box Ints {sum: box 0, values: Vec::new()};
  24     add_int(&mut *ints, 22);
  25     add_int(&mut *ints, 44);
  26
  27     iter_ints(&*ints, |i| {
  28         println!("isize = {:?}", *i);
  29         true
  30     });
  31
  32     println!("ints={:?}", ints);
  33 }