From 4d73185f3e848c0b317341b11318f1a27d1270eb Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Fri, 13 Apr 2012 13:36:39 -0700
Subject: [PATCH] new borrowing tests (not all passing)

---
 src/test/run-pass/regions-borrow-at.rs      | 11 +++++++++++
 src/test/run-pass/regions-borrow-evec-at.rs | 11 +++++++++++
 src/test/run-pass/regions-borrow-uniq.rs    |  9 +++++++++
 3 files changed, 31 insertions(+)
 create mode 100644 src/test/run-pass/regions-borrow-at.rs
 create mode 100644 src/test/run-pass/regions-borrow-evec-at.rs
 create mode 100644 src/test/run-pass/regions-borrow-uniq.rs

diff --git a/src/test/run-pass/regions-borrow-at.rs b/src/test/run-pass/regions-borrow-at.rs
new file mode 100644
index 00000000000..73007014665
--- /dev/null
+++ b/src/test/run-pass/regions-borrow-at.rs
@@ -0,0 +1,11 @@
+// xfail-test it don't work yet
+
+fn foo(x: &uint) -> uint {
+    *x
+}
+
+fn main() {
+    let p = @3u;
+    let r = foo(p);
+    assert r == 3u;
+}
diff --git a/src/test/run-pass/regions-borrow-evec-at.rs b/src/test/run-pass/regions-borrow-evec-at.rs
new file mode 100644
index 00000000000..577cc980b00
--- /dev/null
+++ b/src/test/run-pass/regions-borrow-evec-at.rs
@@ -0,0 +1,11 @@
+// xfail-test it don't work yet
+
+fn foo(x: [uint]/&) -> uint {
+    x[0]
+}
+
+fn main() {
+    let p = [22u]/@;
+    let r = foo(p);
+    assert r == 22u;
+}
diff --git a/src/test/run-pass/regions-borrow-uniq.rs b/src/test/run-pass/regions-borrow-uniq.rs
new file mode 100644
index 00000000000..8ae8b8ec860
--- /dev/null
+++ b/src/test/run-pass/regions-borrow-uniq.rs
@@ -0,0 +1,9 @@
+fn foo(x: &uint) -> uint {
+    *x
+}
+
+fn main() {
+    let p = ~3u;
+    let r = foo(p);
+    assert r == 3u;
+}