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.
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.
12 //[mir]compile-flags: -Zborrowck=mir
14 fn test_drop_replace() {
16 //[mir]~^ NOTE consider changing this to `mut b`
17 b = Box::new(1); //[ast]~ NOTE first assignment
18 //[mir]~^ NOTE first assignment
19 b = Box::new(2); //[ast]~ ERROR cannot assign twice to immutable variable
20 //[mir]~^ ERROR cannot assign twice to immutable variable `b`
21 //[ast]~| NOTE cannot assign twice to immutable
22 //[mir]~| NOTE cannot assign twice to immutable
26 let b = Box::new(1); //[ast]~ NOTE first assignment
27 //[mir]~^ NOTE first assignment
28 //[mir]~| NOTE consider changing this to `mut b`
29 b = Box::new(2); //[ast]~ ERROR cannot assign twice to immutable variable
30 //[mir]~^ ERROR cannot assign twice to immutable variable `b`
31 //[ast]~| NOTE cannot assign twice to immutable
32 //[mir]~| NOTE cannot assign twice to immutable
35 fn test_args(b: Box<i32>) { //[ast]~ NOTE first assignment
36 //[mir]~^ NOTE consider changing this to `mut b`
37 b = Box::new(2); //[ast]~ ERROR cannot assign twice to immutable variable
38 //[mir]~^ ERROR cannot assign to immutable argument `b`
39 //[ast]~| NOTE cannot assign twice to immutable
40 //[mir]~| NOTE cannot assign to immutable argument