---

yaml
---
r: 40267
b: refs/heads/dist-snap
c: 768247f
h: refs/heads/master
i:
  40265: 785ddbb
  40263: 4d0168a
v: v3

Author: catamorphism

[refs]

@@ -7,7 +7,7 @@ refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: a810c03263670238bccd64cabb12a23a46e3a278
 refs/heads/incoming: e90142e536c150df0d9b4b2f11352152177509b5
-refs/heads/dist-snap: b269ac13cde5d663909894f5c656cb8be77249c2
+refs/heads/dist-snap: 768247f393a18ec56d7a92cded2545e6f7d92649
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
 refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0

branches/dist-snap/src/test/compile-fail/issue-1896.rs

@@ -0,0 +1,8 @@
+type t<T> = { f: fn() -> T };
+
+fn f<T>(_x: t<T>) {}
+
+fn main() {
+    let x: t<()> = { f: { || () } };
+    f(x); //~ ERROR copying a noncopyable value
+}

branches/dist-snap/src/test/run-pass/issue-1896-1.rs

@@ -0,0 +1,13 @@
+type boxedFn = { theFn: fn () -> uint };
+
+fn createClosure (closedUint: uint) -> boxedFn {
+    { theFn: fn@ () -> uint { closedUint } }
+}
+
+fn main () {
+    let aFn: boxedFn = createClosure(10);
+
+    let myInt: uint = aFn.theFn();
+
+    assert myInt == 10;
+}

branches/dist-snap/src/test/run-pass/issue-1896-2.rs

@@ -0,0 +1,10 @@
+fn add(n: int) -> fn@(int) -> int {
+      fn@(m: int) -> int { m + n }
+}
+
+fn main()
+{
+      assert add(3)(4) == 7;
+        let add3 : fn(int)->int = add(3);
+          assert add3(4) == 7;
+}

branches/dist-snap/src/test/run-pass/issue-1896-3.rs

@@ -0,0 +1,17 @@
+fn add(n: int) -> fn@(int) -> int {
+    fn@(m: int) -> int { m + n }
+}
+
+fn main()
+{
+    assert add(3)(4) == 7;
+
+    let add1 : fn@(int)->int = add(1);
+    assert add1(6) == 7;
+
+    let add2 : &(fn@(int)->int) = &add(2);
+    assert (*add2)(5) == 7;
+
+    let add3 : fn(int)->int = add(3);
+    assert add3(4) == 7;
+}