From bacd1209575b94f9f2347cebf254bf99ce5ab4bc Mon Sep 17 00:00:00 2001 From: bobtwinkles Date: Fri, 6 Apr 2018 15:00:45 -0400 Subject: [PATCH] Add test from #49736 Fixes #49736 --- src/test/ui/borrowck/two-phase-multi-mut.rs | 26 +++++++++++++++++++ .../ui/borrowck/two-phase-multi-mut.stderr | 23 ++++++++++++++++ 2 files changed, 49 insertions(+) create mode 100644 src/test/ui/borrowck/two-phase-multi-mut.rs create mode 100644 src/test/ui/borrowck/two-phase-multi-mut.stderr diff --git a/src/test/ui/borrowck/two-phase-multi-mut.rs b/src/test/ui/borrowck/two-phase-multi-mut.rs new file mode 100644 index 000000000000..2b8236288557 --- /dev/null +++ b/src/test/ui/borrowck/two-phase-multi-mut.rs @@ -0,0 +1,26 @@ +// Copyright 2018 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(nll)] + +struct Foo { +} + +impl Foo { + fn method(&mut self, foo: &mut Foo) { + } +} + +fn main() { + let mut foo = Foo { }; + foo.method(&mut foo); + //~^ cannot borrow `foo` as mutable more than once at a time + //~^^ cannot borrow `foo` as mutable more than once at a time +} diff --git a/src/test/ui/borrowck/two-phase-multi-mut.stderr b/src/test/ui/borrowck/two-phase-multi-mut.stderr new file mode 100644 index 000000000000..0c02acf65485 --- /dev/null +++ b/src/test/ui/borrowck/two-phase-multi-mut.stderr @@ -0,0 +1,23 @@ +error[E0499]: cannot borrow `foo` as mutable more than once at a time + --> $DIR/two-phase-multi-mut.rs:23:16 + | +LL | foo.method(&mut foo); + | -----------^^^^^^^^- + | | | + | | second mutable borrow occurs here + | first mutable borrow occurs here + | borrow later used here + +error[E0499]: cannot borrow `foo` as mutable more than once at a time + --> $DIR/two-phase-multi-mut.rs:23:5 + | +LL | foo.method(&mut foo); + | ^^^^^^^^^^^--------^ + | | | + | | first mutable borrow occurs here + | second mutable borrow occurs here + | borrow later used here + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0499`.