---

yaml
---
r: 2476
b: refs/heads/master
c: df914e8
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 26ab36afb1e3bdce8c6cd995aa964d2730aec268
+refs/heads/master: df914e89041bd6a133c6fb642144668bafae5a80

trunk/src/comp/middle/ty.rs

@@ -362,12 +362,6 @@ fn mk_ty_full(&sty st, &Option.t[str] cname) -> t {
 fn gen_ty_full(&ctxt cx, &sty st, &Option.t[str] cname) -> t {
     auto new_type = mk_ty_full(st, cname);
 
-    // Do not intern anything with locals or vars; it'll be nearly
-    // single-use anyways, easier to regenerate than fill up the table.
-    if (new_type.has_locals || new_type.has_vars) {
-        ret new_type;
-    }
-
     // Is it interned?
     alt (cx.ts.others.find(new_type)) {
         case (some[t](?typ)) {
@@ -1542,17 +1536,7 @@ fn eq_ty_full(&t a, &t b) -> bool {
 
 // This is the equality function the public should use. It works as long as
 // the types are interned.
-fn eq_ty(&t a, &t b) -> bool {
-    let bool full = false;
-    full = full || a.has_vars;
-    full = full || a.has_locals;
-    full = full || b.has_vars;
-    full = full || b.has_locals;
-    if (full) {
-        ret eq_ty_full(a, b);
-    }
-    ret Box.ptr_eq[raw_t](a, b);
-}
+fn eq_ty(&t a, &t b) -> bool { ret Box.ptr_eq[raw_t](a, b); }
 
 
 fn ann_to_type(&ast.ann ann) -> t {