---

yaml
---
r: 15803
b: refs/heads/try
c: efa2252
h: refs/heads/master
i:
  15801: 7a8873e
  15799: 7181287
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: be48cd87dcdaaf224a7f4338d7ab450119d1b00e
+refs/heads/try: efa2252cfcabe6aec34861d06fa10d0c174b8556
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/test/run-pass/borrowck-preserve-box.rs

@@ -0,0 +1,22 @@
+// compile-flags:--borrowck=err
+// exec-env:RUST_POISON_ON_FREE=1
+
+fn borrow(x: &int, f: fn(x: &int)) {
+    let before = *x;
+    f(x);
+    let after = *x;
+    assert before == after;
+}
+
+fn main() {
+    let mut x = @3;
+    borrow(x) {|b_x|
+        assert *b_x == 3;
+        assert ptr::addr_of(*x) == ptr::addr_of(*b_x);
+        x = @22;
+
+        #debug["ptr::addr_of(*b_x) = %x", ptr::addr_of(*b_x) as uint];
+        assert *b_x == 3;
+        assert ptr::addr_of(*x) != ptr::addr_of(*b_x);
+    }
+}