Fix #7048: PCP heal static path dependent types

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala

@@ -153,7 +153,21 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
     /** Is a reference to a class but not `this.type` */
     def isClassRef = sym.isClass && !tp.isInstanceOf[ThisType]
 
-    if (!sym.exists || levelOK(sym))
+    /** Is this a static path or a type porjection with a static prefix */
+    def isStaticPathOK(tp1: Type): Boolean =
+      tp1.stripTypeVar match
+        case tp1: TypeRef => tp1.symbol.is(Package) || isStaticPathOK(tp1.prefix)
+        case tp1: TermRef =>
+          def isStaticTermPathOK(sym: Symbol): Boolean =
+            (sym.is(Module) && sym.isStatic) ||
+            (sym.isStableMember && isStaticTermPathOK(sym.owner))
+          isStaticTermPathOK(tp1.symbol)
+        case tp1: ThisType => tp1.cls.isStaticOwner
+        case tp1: AppliedType => isStaticPathOK(tp1.tycon)
+        case tp1: SkolemType => isStaticPathOK(tp1.info)
+        case _ => false
+
+    if (!sym.exists || levelOK(sym) || isStaticPathOK(tp))
       None
     else if (!sym.isStaticOwner && !isClassRef)
       tryHeal(sym, tp, pos)
@@ -180,7 +194,7 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
             sym.isClass // reference to this in inline methods
           )
     case None =>
-      !sym.is(Param) || levelOK(sym.owner)
+      sym.is(Package) || sym.owner.isStaticOwner || levelOK(sym.owner)
   }
 
   /** Try to heal phase-inconsistent reference to type `T` using a local type definition.

tests/pending/pos/i7048.scala renamed to tests/pos/i7048.scala

@@ -7,7 +7,7 @@ trait IsExpr[T] {
 
 def f(x: Any): String = x.toString
 
-def g[T](given e: IsExpr[T], tu: Type[e.Underlying]): (given QuoteContext) => Expr[String] = {
+def g[T](given e: IsExpr[T], tu: TypeTag[e.Underlying]): (given QuoteContext) => Expr[String] = {
   val underlying: Expr[e.Underlying] = e.expr
   '{f($underlying)}
 }

tests/pending/run-macros/i7048/Lib_1.scala renamed to tests/run-macros/i7048/Lib_1.scala

@@ -12,7 +12,7 @@ given [U] : IsExpr[Expr[U]] = new IsExpr[Expr[U]] {
 
 def f(x: Any): String = x.toString
 
-def g[T](x: T)(given e: IsExpr[T], tu: Type[e.Underlying]): (given QuoteContext) => Expr[String] = {
+def g[T](x: T)(given e: IsExpr[T], tu: TypeTag[e.Underlying]): (given QuoteContext) => Expr[String] = {
   val underlying: Expr[e.Underlying] = e.toExpr(x)
   '{f($underlying)}
 }