new test showing off the improved inference

1 files changed, 8 insertions, 0 deletions

diff --git a/src/test/run-pass/closure-inference.rs b/src/test/run-pass/closure-inference.rs
new file mode 100644
index 00000000000..72d08a5fd20
--- /dev/null
+++ b/src/test/run-pass/closure-inference.rs
@@ -0,0 +1,8 @@
+fn foo(i: int) -> int { i + 1 }
+
+fn apply<A>(f: fn(A) -> A, v: A) -> A { f(v) }
+
+fn main() {
+    let f = {|i| foo(i)};
+    assert apply(f, 2) == 3;
+}