From 70675611890c9e76b1312fa303798382a101a876 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Tue, 12 Nov 2013 14:44:15 -0500
Subject: [PATCH] Add test for #3053. Fixes #3053.

---
 .../borrowck-preserve-box-in-moved-value.rs   | 26 +++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 src/test/run-pass/borrowck-preserve-box-in-moved-value.rs

diff --git a/src/test/run-pass/borrowck-preserve-box-in-moved-value.rs b/src/test/run-pass/borrowck-preserve-box-in-moved-value.rs
new file mode 100644
index 0000000000000..e8c3b2480d9ae
--- /dev/null
+++ b/src/test/run-pass/borrowck-preserve-box-in-moved-value.rs
@@ -0,0 +1,26 @@
+// exec-env:RUST_POISON_ON_FREE=1
+
+// Test that we root `x` even though it is found in immutable memory,
+// because it is moved.
+
+#[feature(managed_boxes)];
+
+fn free<T>(x: @T) {}
+
+struct Foo {
+    f: @Bar
+}
+
+struct Bar {
+    g: int
+}
+
+fn lend(x: @Foo) -> int {
+    let y = &x.f.g;
+    free(x); // specifically here, if x is not rooted, it will be freed
+    *y
+}
+
+pub fn main() {
+    assert_eq!(lend(@Foo {f: @Bar {g: 22}}), 22);
+}