Fix #7048: PCP heal path dependent types

Author: nicolasstucki

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

@@ -144,7 +144,17 @@ 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 match {
+      case tp1: TypeRef => tp1.symbol.is(Package) || isStaticPathOK(tp1.prefix)
+      case tp1: TermRef => tp1.symbol.isStaticOwner || isStaticPathOK(tp1.prefix)
+      case tp1: ThisType => tp1.tref.symbol.is(Package) || tp1.tref.symbol.is(Module)
+      case tp1: AppliedType => isStaticPathOK(tp1.tycon)
+      case _: SkolemType => true
+      case _ => false
+  }
+
+    if (!sym.exists || levelOK(sym) || isStaticPathOK(tp))
       None
     else if (!sym.isStaticOwner && !isClassRef)
       tryHeal(sym, tp, pos)
@@ -171,7 +181,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.