Add two tests, one xfailed, for inferring lambda kinds in return position

2 files changed, 19 insertions, 0 deletions

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() {
+}