From 7cc0f554ae7fe1c3891e945e3f39b2e93e8cc564 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Wed, 21 Mar 2012 08:17:44 -0700
Subject: [PATCH] add test for commit 9502fb99e0d535c8ced17ac61e63ebbd67b7dba7

---
 .../run-pass/monomorphize-iface-in-fn-at.rs   | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 src/test/run-pass/monomorphize-iface-in-fn-at.rs

diff --git a/src/test/run-pass/monomorphize-iface-in-fn-at.rs b/src/test/run-pass/monomorphize-iface-in-fn-at.rs
new file mode 100644
index 00000000000..3530426de70
--- /dev/null
+++ b/src/test/run-pass/monomorphize-iface-in-fn-at.rs
@@ -0,0 +1,22 @@
+// test that invoking functions which require
+// dictionaries from inside an fn@ works
+// (at one point, it didn't)
+
+fn mk_nil<C:ty_ops>(cx: C) -> uint {
+    cx.mk()
+}
+
+iface ty_ops {
+    fn mk() -> uint;
+}
+
+impl of ty_ops for () {
+    fn mk() -> uint { 22u }
+}
+
+fn main() {
+    let fn_env = fn@() -> uint {
+        mk_nil(())
+    };
+    assert fn_env() == 22u;
+}
\ No newline at end of file