diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
index 8ed5758a91ac..24802412a598 100644
--- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.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
diff --git a/tests/pending/run/t6220.scala b/tests/run/t6220.scala
similarity index 100%
rename from tests/pending/run/t6220.scala
rename to tests/run/t6220.scala
diff --git a/tests/pending/run/t6261.scala b/tests/run/t6261.scala
similarity index 100%
rename from tests/pending/run/t6261.scala
rename to tests/run/t6261.scala