---

yaml
---
r: 1347
b: refs/heads/master
c: 9d57699
h: refs/heads/master
i:
  1345: f175327
  1343: 213144a
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d7f118135b8a3eee7c8788052542e6e1c205a3d9
+refs/heads/master: 9d576993f31349f2a7dbf8e40ccdaff9cf66144d

trunk/src/comp/middle/ty.rs

@@ -1215,6 +1215,10 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler)
     auto eqer = eq_int;
     auto bindings = map.mk_hashmap[int,@ty.t](hasher, eqer);
 
+    // FIXME: this is a slow way of driving types into residual vars that
+    // occur up in the leaves of result type; it can likely be done better
+    // when unification is actually ... down in the leaves.
+
     auto ures = unify_step(bindings, expected, actual, handler);
     while (true) {
         alt (ures) {