From 391e12124b4ee96849b8b5959c2cab824400a384 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Sun, 16 Oct 2011 16:19:12 -0700
Subject: Tweak typecheck to enforce covariance on higher-order function
 arguments

---
 src/test/compile-fail/block-coerce-no-2.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/test/compile-fail/block-coerce-no-2.rs

(limited to 'src/test')

diff --git a/src/test/compile-fail/block-coerce-no-2.rs b/src/test/compile-fail/block-coerce-no-2.rs
new file mode 100644
index 00000000000..926e39529ea
--- /dev/null
+++ b/src/test/compile-fail/block-coerce-no-2.rs
@@ -0,0 +1,14 @@
+// error-pattern: mismatched types
+
+// Make sure that fn-to-block coercion isn't incorrectly lifted over
+// other tycons.
+
+fn main() {
+    fn f(f: fn(fn(fn()))) {
+    }
+
+    fn g(f: fn(block())) {
+    }
+
+    f(g);
+}
-- 
cgit 1.4.1-3-g733a5