From fa6a446e6cd39ff3522a03fa9de7302e069408a7 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Sun, 1 Jul 2012 18:08:53 -0700
Subject: [PATCH] Add two tests, one xfailed, for inferring lambda kinds in
 return position

---
 src/test/run-pass/newlambdas-ret-infer.rs  |  9 +++++++++
 src/test/run-pass/newlambdas-ret-infer2.rs | 10 ++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 src/test/run-pass/newlambdas-ret-infer.rs
 create mode 100644 src/test/run-pass/newlambdas-ret-infer2.rs

diff --git a/src/test/run-pass/newlambdas-ret-infer.rs b/src/test/run-pass/newlambdas-ret-infer.rs
new file mode 100644
index 00000000000..e550155cb60
--- /dev/null
+++ b/src/test/run-pass/newlambdas-ret-infer.rs
@@ -0,0 +1,9 @@
+// Test that the lambda kind is inferred correctly as a return
+// expression
+
+fn shared() -> fn@() { ret || (); }
+
+fn unique() -> fn~() { ret || (); }
+
+fn main() {
+}
diff --git a/src/test/run-pass/newlambdas-ret-infer2.rs b/src/test/run-pass/newlambdas-ret-infer2.rs
new file mode 100644
index 00000000000..8b9a0be8332
--- /dev/null
+++ b/src/test/run-pass/newlambdas-ret-infer2.rs
@@ -0,0 +1,10 @@
+// xfail-test fn~ is not inferred
+// Test that the lambda kind is inferred correctly as a return
+// expression
+
+fn shared() -> fn@() { || () }
+
+fn unique() -> fn~() { || () }
+
+fn main() {
+}