use `places_conflict` to handle reassignment

This fixes the handling of reassignment of struct fields.

1 files changed, 6 insertions, 3 deletions

diff --git a/src/test/compile-fail/immut-function-arguments.rs b/src/test/compile-fail/immut-function-arguments.rs
index 949c1c0d9c4..b32056fcb91 100644
--- a/src/test/compile-fail/immut-function-arguments.rs
+++ b/src/test/compile-fail/immut-function-arguments.rs
@@ -8,14 +8,17 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// revisions: ast mir
+//[mir]compile-flags: -Z borrowck=mir
 
 fn f(y: Box<isize>) {
-    *y = 5; //~ ERROR cannot assign
+    *y = 5; //[ast]~ ERROR cannot assign
+            //[mir]~^ ERROR cannot assign twice
 }
 
 fn g() {
-    let _frob = |q: Box<isize>| { *q = 2; }; //~ ERROR cannot assign
-
+    let _frob = |q: Box<isize>| { *q = 2; }; //[ast]~ ERROR cannot assign
+    //[mir]~^ ERROR cannot assign twice
 }
 
 fn main() {}