From 16ba38a208cef2668c03b3f0d4e7d3aab442e375 Mon Sep 17 00:00:00 2001
From: Markus Westerlind <marwes91@gmail.com>
Date: Wed, 28 Nov 2018 21:18:43 +0100
Subject: [PATCH] perf: Don't have generalize_type be N^2

Well... looks like a remnant from an earlier version where the method
looked differently.
---
 check/src/typecheck.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/check/src/typecheck.rs b/check/src/typecheck.rs
index 803a0008f8..ae8f40aedf 100644
--- 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;