Fix #7048: PCP heal path dependent types

Author: nicolasstucki

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

@@ -119,12 +119,26 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
           // Replace it with a properly encoded type splice. This is the normal for expected for type splices.
           tp.prefix.select(tpnme.splice)
         case tp: NamedType =>
-          checkSymLevel(tp.symbol, tp, pos) match {
-            case Some(tpRef) => tpRef.tpe
-            case _ =>
-              if (tp.symbol.is(Param)) tp
-              else mapOver(tp)
+          /** 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 (isStaticPathOK(tp))
+            if (tp.symbol.is(Param)) tp
+            else mapOver(tp)
+          else
+            checkSymLevel(tp.symbol, tp, pos) match {
+              case Some(tpRef) => tpRef.tpe
+              case _ =>
+                if (tp.symbol.is(Param)) tp
+                else mapOver(tp)
+            }
         case tp: ThisType =>
           assert(checkSymLevel(tp.cls, tp, pos).isEmpty)
           mapOver(tp)
@@ -171,7 +185,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.