Merge pull request #10 from scala/backport-lts-3.3-21678

Backport "Let show behave more robustly for Recheck" to LTS
scala · Dec 6, 2024 · 525bcd0 · 525bcd0
2 parents 0150109 + 15e4ee0
commit 525bcd0
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/Recheck.scala b/compiler/src/dotty/tools/dotc/transform/Recheck.scala
@@ -39,10 +39,13 @@ object Recheck:
 
   val addRecheckedTypes = new TreeMap:
     override def transform(tree: Tree)(using Context): Tree =
-      val tree1 = super.transform(tree)
-      tree.getAttachment(RecheckedType) match
-        case Some(tpe) => tree1.withType(tpe)
-        case None => tree1
+      try
+        val tree1 = super.transform(tree)
+        tree.getAttachment(RecheckedType) match
+          case Some(tpe) => tree1.withType(tpe)
+          case None => tree1
+      catch
+        case _:TypeError => tree
 
   extension (sym: Symbol)