Drop handleRecursive from MatchType#tryNormalize

There is already a `handleRecursive` in `reduced` Having the two makes error messages undeterministic, see scala#20269
dotty-staging · Jun 28, 2024 · 309b1cf · 309b1cf
1 parent 4fbba66
commit 309b1cf
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -5158,11 +5158,7 @@ object Types extends TypeUtils {
     private var reductionContext: util.MutableMap[Type, Type] | Null = null
 
     override def tryNormalize(using Context): Type =
-      try
-        reduced.normalized
-      catch
-        case ex: Throwable =>
-          handleRecursive("normalizing", s"${scrutinee.show} match ..." , ex)
+      reduced.normalized
 
     private def thisMatchType = this