scala
diff --git a/‎compiler/src/dotty/tools/dotc/core/TypeComparer.scala‎
Lines changed: 1 addition & 1 deletion b/‎compiler/src/dotty/tools/dotc/core/TypeComparer.scala‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎tests/pending/run/t6220.scala‎ renamed to ‎tests/run/t6220.scala‎ b/‎tests/pending/run/t6220.scala‎ renamed to ‎tests/run/t6220.scala‎
diff --git a/‎tests/pending/run/t6261.scala‎ renamed to ‎tests/run/t6261.scala‎ b/‎tests/pending/run/t6261.scala‎ renamed to ‎tests/run/t6261.scala‎
@@ -831,7 +831,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
       } else isSubType(tp1, tp2, approx.addLow)
 
     def isSubApproxHi(tp1: Type, tp2: Type): Boolean =
-      (tp2 ne NothingType) && isSubType(tp1, tp2, approx.addHigh)
+      tp1.eq(tp2) || tp2.ne(NothingType) && isSubType(tp1, tp2, approx.addHigh)
 
     // begin recur
     if (tp2 eq NoType) false