Add test for #3053. Fixes #3053.

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 (file)
index 0000000..e8c3b24
--- /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);
+}