perf: Don't have generalize_type be N^2

Well... looks like a remnant from an earlier version where the method looked differently.
gluon-lang · Dec 9, 2018 · 16ba38a · 16ba38a
1 parent 7a07da1
commit 16ba38a
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/check/src/typecheck.rs b/check/src/typecheck.rs
@@ -2891,10 +2891,7 @@ impl<'a, 'b> TypeGeneralizer<'a, 'b> {
     }
 
     fn generalize_type(&mut self, typ: &ArcType) -> Option<ArcType> {
-        let replacement = self
-            .subs
-            .replace_variable(typ)
-            .map(|t| self.generalize_type(&t).unwrap_or(t));
+        let replacement = self.subs.replace_variable(typ);
         let mut typ = typ;
         if let Some(ref t) = replacement {
             typ = t;