From d83a7994c92f077fc9335164095ed5511551e11f Mon Sep 17 00:00:00 2001
From: Hamza Remmal <56235032+hamzaremmal@users.noreply.github.com>
Date: Tue, 30 May 2023 16:43:40 +0000
Subject: [PATCH] Change the TypeComparer to use recur instead of isNewSubType

---
 compiler/src/dotty/tools/dotc/core/TypeComparer.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
index b84af998ffb6..bb388128e457 100644
--- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -939,7 +939,8 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
 
         comparePaths || isSubType(tp1widened, tp2, approx.addLow)
       case tp1: RefinedType =>
-        isNewSubType(tp1.parent)
+         recur(tp1.parent, tp2)
+        //isNewSubType(tp1.parent)
       case tp1: RecType =>
         isNewSubType(tp1.parent)
       case tp1: HKTypeLambda =>