src/test/ui/borrowck/borrowck-uninit-field-access.rs

   1 // Copyright 2017 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 // revisions: ast mir
  12 //[mir]compile-flags: -Z borrowck=mir
  13
  14 // Check that do not allow access to fields of uninitialized or moved
  15 // structs.
  16
  17 #[derive(Default)]
  18 struct Point {
  19     x: isize,
  20     y: isize,
  21 }
  22
  23 #[derive(Default)]
  24 struct Line {
  25     origin: Point,
  26     middle: Point,
  27     target: Point,
  28 }
  29
  30 impl Line { fn consume(self) { } }
  31
  32 fn main() {
  33     let mut a: Point;
  34     let _ = a.x + 1; //[ast]~ ERROR use of possibly uninitialized variable: `a.x`
  35                      //[mir]~^ ERROR [E0381]
  36
  37     let mut line1 = Line::default();
  38     let _moved = line1.origin;
  39     let _ = line1.origin.x + 1; //[ast]~ ERROR use of moved value: `line1.origin.x`
  40                                 //[mir]~^ [E0382]
  41
  42     let mut line2 = Line::default();
  43     let _moved = (line2.origin, line2.middle);
  44     line2.consume(); //[ast]~ ERROR use of partially moved value: `line2` [E0382]
  45                      //[mir]~^ [E0382]
  46 }