1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala
index e7b05af43..00b8a5d25 100644
--- a/src/dotty/tools/dotc/core/ConstraintHandling.scala
+++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala
@@ -287,8 +287,8 @@ trait ConstraintHandling {
           if (!addParamBound(bound)) NoType
           else if (fromBelow) defn.NothingType
           else defn.AnyType
-        case bound: RefinedType =>
-          bound.normalizeHkApply
+        case bound: RefinedType if !Config.newHK =>
+          bound.normalizeHkApplyOLD
         case _ =>
           bound
       }