---

yaml
---
r: 12020
b: refs/heads/master
c: 7cc0f55
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 9502fb99e0d535c8ced17ac61e63ebbd67b7dba7
+refs/heads/master: 7cc0f554ae7fe1c3891e945e3f39b2e93e8cc564
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/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;
+}