Drop handleRecursive from MatchType#tryNormalize

There is already a `handleRecursive` in `reduced` Having the two makes error messages undeterministic, see #20269 [Cherry-picked 309b1cf]
scala · Aug 27, 2024 · 0b6900e · 0b6900e
1 parent 40dbcc2
commit 0b6900e
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
@@ -5159,11 +5159,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