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