Backport "Heal stage inconsistent prefixes of type projections" (#18328)

Backports #18239
scala · Aug 9, 2023 · ee25abf · ee25abf
2 parents 555df53 + e1233d8
commit ee25abf
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/staging/HealType.scala b/compiler/src/dotty/tools/dotc/staging/HealType.scala
@@ -46,7 +46,7 @@ class HealType(pos: SrcPos)(using Context) extends TypeMap {
       case prefix: TermRef if tp.symbol.isTypeSplice =>
         checkNotWildcardSplice(tp)
         if level == 0 then tp else getTagRef(prefix)
-      case _: NamedType | _: ThisType | NoPrefix =>
+      case _: TermRef | _: ThisType | NoPrefix =>
         if levelInconsistentRootOfPath(tp).exists then
           tryHeal(tp)
         else

diff --git a/tests/pos-macros/i17293.scala b/tests/pos-macros/i17293.scala
@@ -0,0 +1,12 @@
+import scala.quoted.*
+
+trait OuterTrait {
+  trait X
+}
+
+def exampleMacro[T <: OuterTrait: Type](expr: Expr[T])(using Quotes): Expr[OuterTrait#X] = {
+  '{
+    val prefix: T = ${ expr }
+    new prefix.X {}
+  }
+}
diff --git a/tests/pos-macros/i17293b.scala b/tests/pos-macros/i17293b.scala
@@ -0,0 +1,12 @@
+import scala.quoted.*
+
+trait OuterTrait { self =>
+  trait X
+
+  def exampleMacro[T <: self.type: Type](expr: Expr[T])(using Quotes): Expr[self.X] = {
+    '{
+      val prefix: T = ${ expr }
+      new prefix.X {}
+    }
+  }
+}