---

yaml
---
r: 4197
b: refs/heads/master
c: 4de0b3d
h: refs/heads/master
i:
  4195: 3399237
v: v3

Author: msullivan

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 63fa765e0eaa8d07a8b4e60b5f618cfdb1341e7f
+refs/heads/master: 4de0b3d9474eb4b1284a8abf4bd03a5135a19a83

trunk/src/comp/middle/trans.rs

@@ -4538,10 +4538,6 @@ fn trans_bind(cx: &@block_ctxt, f: &@ast::expr,
 fn trans_bind_1(cx: &@block_ctxt, f: &@ast::expr, f_res: &lval_result,
                 args: &(option::t[@ast::expr])[], id: ast::node_id) ->
    result {
-    if f_res.is_mem {
-        bcx_ccx(cx).sess.unimpl("re-binding existing function");
-    }
-
     let bound: (@ast::expr)[] = ~[];
     for argopt: option::t[@ast::expr]  in args {
         alt argopt { none. { } some(e) { bound += ~[e]; } }

trunk/src/test/run-pass/rebind-fn.rs

@@ -0,0 +1,12 @@
+// xfail-stage0
+fn add(i: int, j: int) -> int { ret i + j; }
+fn binder(n: int) -> fn() -> int {
+    let f = bind add(n, _);
+    ret bind f(2);
+}
+fn main() {
+    binder(5);
+    let f = binder(1);
+    assert(f() == 3);
+    assert(binder(8)() == 10);
+}