]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/borrowck/borrowck-report-with-custom-diagnostic.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / borrowck / borrowck-report-with-custom-diagnostic.rs
CommitLineData
1a4d82fc
JJ
1// Copyright 2014 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#![allow(dead_code)]
12fn main() {
13 // Original borrow ends at end of function
c34b1796 14 let mut x = 1;
1a4d82fc 15 let y = &mut x;
54a0048b 16 //~^ previous borrow of `x` occurs here; the mutable borrow prevents
1a4d82fc
JJ
17 let z = &x; //~ ERROR cannot borrow
18}
19//~^ NOTE previous borrow ends here
20
21fn foo() {
22 match true {
23 true => {
24 // Original borrow ends at end of match arm
c34b1796 25 let mut x = 1;
1a4d82fc 26 let y = &x;
54a0048b 27 //~^ previous borrow of `x` occurs here; the immutable borrow prevents
1a4d82fc
JJ
28 let z = &mut x; //~ ERROR cannot borrow
29 }
30 //~^ NOTE previous borrow ends here
31 false => ()
32 }
33}
34
35fn bar() {
36 // Original borrow ends at end of closure
85aaf69f 37 || {
c34b1796 38 let mut x = 1;
1a4d82fc 39 let y = &mut x;
54a0048b 40 //~^ previous borrow of `x` occurs here; the mutable borrow prevents
1a4d82fc
JJ
41 let z = &mut x; //~ ERROR cannot borrow
42 };
43 //~^ NOTE previous borrow ends here
44}