Only trigger E505.

A value is referenced.
The underlying value is then destroyed.
The reference is prevented from being used after the
underlying value is destroyed.

Author: gurgalex

src/scope/borrow.md

@@ -29,18 +29,14 @@ fn main() {
     borrow_i32(&boxed_i32);
     borrow_i32(&stacked_i32);
 
-    {
-        // Error!
-        // Can't destroy `boxed_i32` while the inner value is borrowed later in scope.
-        eat_box_i32(boxed_i32);
-        // FIXME ^ Comment out this line
-
-        // Take a reference to the data contained inside the box
-        let _ref_to_i32: &i32 = &boxed_i32;
-        // `_ref_to_i32` goes out of scope and is no longer borrowed.
-    }
-
-    // `boxed_i32` can now give up ownership to `eat_box` and be destroyed
+    // Take a reference to the data contained inside the box
+    let _ref_to_i32: &i32 = &boxed_i32;
+
+    // Can't destroy `boxed_i32` while the inner value is borrowed later in scope.
     eat_box_i32(boxed_i32);
+    // FIXME ^ Comment out this line
+
+    // Attempt to borrow `_ref_to_i32` after inner value is destroyed
+    borrow_i32(_ref_to_i32);
 }
 ```