From bf57a230eb94b8a513f3c7b1f68ea5779bcb281a Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Mon, 30 Oct 2017 10:59:14 -0400
Subject: [PATCH] WIP patch
 `compile-fail/nll/region-ends-after-if-condition.rs`

---
 .../nll/region-ends-after-if-condition.rs      | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/src/test/compile-fail/nll/region-ends-after-if-condition.rs b/src/test/compile-fail/nll/region-ends-after-if-condition.rs
index dbc35fa99b02..bec56982c57a 100644
--- a/src/test/compile-fail/nll/region-ends-after-if-condition.rs
+++ b/src/test/compile-fail/nll/region-ends-after-if-condition.rs
@@ -21,12 +21,26 @@ struct MyStruct {
     field: String
 }
 
-fn main() {
+fn foo1() {
     let mut my_struct = MyStruct { field: format!("Hello") };
 
     let value = &my_struct.field;
     if value.is_empty() {
         my_struct.field.push_str("Hello, world!");
-        //~^ ERROR cannot borrow (Ast)
+        //~^ ERROR (Ast) [E0502]
     }
 }
+
+fn foo2() {
+    let mut my_struct = MyStruct { field: format!("Hello") };
+
+    let value = &my_struct.field;
+    if value.is_empty() {
+        my_struct.field.push_str("Hello, world!");
+        //~^ ERROR (Ast) [E0502]
+        //~| ERROR (Mir) [E0502]
+    }
+    drop(value);
+}
+
+fn main() { }