Backport "Fix TermRef prefixes not having their type healed" to LTS (#…

…21038) Backports #20102 to the LTS branch. PR submitted by the release tooling. [skip ci]
scala · Jul 5, 2024 · b566cb4 · b566cb4
2 parents ed81e34 + 370f791
commit b566cb4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/staging/HealType.scala b/compiler/src/dotty/tools/dotc/staging/HealType.scala
@@ -35,7 +35,7 @@ class HealType(pos: SrcPos)(using Context) extends TypeMap {
       case tp: TermRef =>
         val inconsistentRoot = levelInconsistentRootOfPath(tp)
         if inconsistentRoot.exists then levelError(inconsistentRoot, tp, pos)
-        else tp
+        else mapOver(tp)
       case tp: AnnotatedType =>
         derivedAnnotatedType(tp, apply(tp.parent), tp.annot)
       case _ =>

diff --git a/tests/pos-macros/i19767.scala b/tests/pos-macros/i19767.scala
@@ -0,0 +1,7 @@
+import scala.quoted.*
+
+class ICons[K <: Singleton](val key: K)
+
+def filterX(using Quotes): Unit =
+  (??? : Expr[Any]) match
+    case '{ $y : ICons[k1] } => '{ ICons($y.key) }