src/test/ui/borrowck/borrowck-bad-nested-calls-move.rs

   1 // Copyright 2012 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 // Test that we detect nested calls that could free pointers evaluated
  12 // for earlier arguments.
  13
  14 #![feature(box_syntax)]
  15
  16 fn rewrite(v: &mut Box<usize>) -> usize {
  17     *v = box 22;
  18     **v
  19 }
  20
  21 fn add(v: &usize, w: Box<usize>) -> usize {
  22     *v + *w
  23 }
  24
  25 fn implicit() {
  26     let mut a: Box<_> = box 1;
  27
  28     // Note the danger here:
  29     //
  30     //    the pointer for the first argument has already been
  31     //    evaluated, but it gets moved when evaluating the second
  32     //    argument!
  33     add(
  34         &*a,
  35         a); //~ ERROR cannot move
  36 }
  37
  38 fn explicit() {
  39     let mut a: Box<_> = box 1;
  40     add(
  41         &*a,
  42         a); //~ ERROR cannot move
  43 }
  44
  45 fn main() {}