---

yaml
---
r: 60082
b: refs/heads/master
c: 5a1afaf
h: refs/heads/master
v: v3

Author: bors

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 3c4b32cdbe7304e6bd033ff6bb4b23a1f18e8af0
+refs/heads/master: 5a1afaf5810048e8c0c6e5160cf0bf8c323113cf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 2d28d645422c1617be58c8ca7ad9a457264ca850
 refs/heads/try: c50a9d5b664478e533ba1d1d353213d70c8ad589

trunk/src/test/run-pass/borrowck-scope-of-deref-issue-4666.rs

@@ -0,0 +1,50 @@
+// Copyright 2012-2013 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 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// Tests that the scope of the pointer returned from `get()` is
+// limited to the deref operation itself, and does not infect the
+// block as a whole.
+
+struct Box {
+    x: uint
+}
+
+impl Box {
+    fn get<'a>(&'a self) -> &'a uint {
+        &self.x
+    }
+    fn set(&mut self, x: uint) {
+        self.x = x;
+    }
+}
+
+fn fun1() {
+    // in the past, borrow checker behaved differently when
+    // init and decl of `v` were distinct
+    let v;
+    let mut box = Box {x: 0};
+    box.set(22);
+    v = *box.get();
+    box.set(v+1);
+    assert_eq!(23, *box.get());
+}
+
+fn fun2() {
+    let mut box = Box {x: 0};
+    box.set(22);
+    let v = *box.get();
+    box.set(v+1);
+    assert_eq!(23, *box.get());
+}
+
+pub fn main() {
+    fun1();
+    fun2();
+}