---

yaml
---
r: 2198
b: refs/heads/master
c: 106f783
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 9edaa7dba3181ae68c60204e1e47a2d20e86236e
+refs/heads/master: 106f783b33f64cfc364b7aa2e5f57bcd07e9bfb8

trunk/src/comp/middle/ty.rs

@@ -1877,6 +1877,9 @@ mod Unify {
         // TODO: occurs check, to make sure we don't loop forever when
         // unifying e.g. 'a and option['a]
 
+        // Fast path.
+        if (eq_ty(expected, actual)) { ret ures_ok(expected); }
+
         alt (actual.struct) {
             // If the RHS is a variable type, then just do the appropriate
             // binding.