src/test/compile-fail/borrowck/borrowck-mut-borrow-linear-errors.rs

   1 // Copyright 2015 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 to ensure we only report an error for the first issued loan that
  12 // conflicts with a new loan, as opposed to every issued loan.  This keeps us
  13 // down to O(n) errors (for n problem lines), instead of O(n^2) errors.
  14
  15 // revisions: ast mir
  16 //[mir]compile-flags: -Z emit-end-regions -Z borrowck-mir
  17
  18 fn main() {
  19     let mut x = 1;
  20     let mut addr;
  21     loop {
  22         match 1 {
  23             1 => { addr = &mut x; } //[ast]~ ERROR [E0499]
  24             //[mir]~^ ERROR (Ast) [E0499]
  25             //[mir]~| ERROR (Mir) [E0499]
  26             2 => { addr = &mut x; } //[ast]~ ERROR [E0499]
  27             //[mir]~^ ERROR (Ast) [E0499]
  28             //[mir]~| ERROR (Mir) [E0506]
  29             //[mir]~| ERROR (Mir) [E0499]
  30             //[mir]~| ERROR (Mir) [E0499]
  31             _ => { addr = &mut x; } //[ast]~ ERROR [E0499]
  32             //[mir]~^ ERROR (Ast) [E0499]
  33             //[mir]~| ERROR (Mir) [E0506]
  34             //[mir]~| ERROR (Mir) [E0499]
  35             //[mir]~| ERROR (Mir) [E0499]
  36         }
  37     }
  38 }
  39
  40