From 6d7bc4996d6ad2095442ebc43f59307448226fd7 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 11 Jul 2016 17:02:16 +0200
Subject: Address reviewers comments

---
 src/dotty/tools/dotc/core/ConstraintHandling.scala | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')

diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala
index 1c3bd7384..c5e3bad40 100644
--- a/src/dotty/tools/dotc/core/ConstraintHandling.scala
+++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala
@@ -385,13 +385,7 @@ trait ConstraintHandling {
         case bound: PolyParam if constraint contains bound =>
           addParamBound(bound)
         case _ =>
-          var pbound = prune(bound)
-          if (pbound.isHK && !param.isHK) {
-            param match {
-              case EtaExpansion(tycon) if tycon.symbol.isClass => pbound = tycon
-              case _ =>
-            }
-          }
+          val pbound = prune(bound)
           pbound.exists && (
             if (fromBelow) addLowerBound(param, pbound) else addUpperBound(param, pbound))
       }
-- 
cgit v1.2.3