---

yaml
---
r: 3311
b: refs/heads/master
c: ae234d6
h: refs/heads/master
i:
  3309: b0da107
  3307: 2e026c2
  3303: 10be295
  3295: 9157c73
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d2b7ea877c6290094a977d17ddb2ae9853de507b
+refs/heads/master: ae234d61eae736f2d5bfba2b223417be539a5936

trunk/src/comp/middle/ty.rs

@@ -1885,25 +1885,25 @@ mod unify {
             smallintmap::insert[t](cx.vb.types, root_c, t);
         } (_, _, set_a, set_b);
 
-        alt (smallintmap::find[t](cx.vb.types, root_a)) {
-            case (none[t]) {
-                alt (smallintmap::find[t](cx.vb.types, root_b)) {
-                    case (none[t]) {
+        alt (smallintmap::find(cx.vb.types, root_a)) {
+            case (none) {
+                alt (smallintmap::find(cx.vb.types, root_b)) {
+                    case (none) {
                         ufind::union(cx.vb.sets, set_a, set_b);
                         ret unres_ok; }
-                    case (some[t](?t_b)) {
+                    case (some(?t_b)) {
                         replace_type(cx, t_b);
                         ret unres_ok;
                     }
                 }
             }
-            case (some[t](?t_a)) {
-                alt (smallintmap::find[t](cx.vb.types, root_b)) {
-                    case (none[t]) {
+            case (some(?t_a)) {
+                alt (smallintmap::find(cx.vb.types, root_b)) {
+                    case (none) {
                         replace_type(cx, t_a);
                         ret unres_ok;
                     }
-                    case (some[t](?t_b)) {
+                    case (some(?t_b)) {
                         alt (unify_step(cx, t_a, t_b)) {
                             case (ures_ok(?t_c)) {
                                 replace_type(cx, t_c);