---

yaml
---
r: 4943
b: refs/heads/master
c: 26e1cac
h: refs/heads/master
i:
  4941: e1e3e2d
  4939: 15108e1
  4935: 8fed9ee
  4927: 706fd60
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b099760269ecf7920eed99919ff6bdbd341ecf95
+refs/heads/master: 26e1cacb216fc754650a58b22bbbd91ab945089d

trunk/src/comp/middle/tstate/auxiliary.rs

@@ -621,9 +621,18 @@ fn expr_to_constr_arg(tcx: ty::ctxt, e: &@expr) -> @constr_arg_use {
                         carg_ident({ident: p.node.idents[0],
                                     node: a_id.node}));
           }
-          _ {
+          some (def_binding(b_id)) {
+            ret @respan(p.span,
+                        carg_ident({ident: p.node.idents[0],
+                                    node: b_id.node}));
+           }
+          some(_) {
             tcx.sess.bug("exprs_to_constr_args: non-local variable " +
                              "as pred arg");
+          }
+          none {
+            tcx.sess.bug("exprs_to_constr_args: NONE " +
+                             "as pred arg");
 
           }
         }
@@ -646,10 +655,6 @@ fn exprs_to_constr_args(tcx: ty::ctxt, args: &[@expr]) -> [@constr_arg_use] {
 
 fn expr_to_constr(tcx: ty::ctxt, e: &@expr) -> sp_constr {
     alt e.node {
-
-
-      // FIXME change the first pattern to expr_path to test a
-      // typechecker bug
       expr_call(operator, args) {
         alt operator.node {
           expr_path(p) {