1 files changed, 1 insertions, 7 deletions
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))
       }