From d6f9361e4bf9ee8615d1a700963535f82580ca0d Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Mon, 7 Nov 2011 07:49:17 +0000
Subject: Fixed hang in typechecker.

Another page in the storied history of "check the normalized type, then
act on the unnormalized type", in this case leading to a tight loop of
foreverness. Closes SI-5156, review by moors.
---
 src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
index 75535968fd..d58df50451 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
@@ -305,7 +305,7 @@ trait Implicits {
         case NoPrefix =>
           0
         case SingleType(pre, sym) =>
-          if (sym.isPackage) 0 else complexity(tp.widen)
+          if (sym.isPackage) 0 else complexity(tp.normalize.widen)
         case TypeRef(pre, sym, args) =>
           complexity(pre) + sum(args map complexity) + 1
         case RefinedType(parents, _) =>
-- 
cgit v1.2.3