Merge pull request #7366 from dotty-staging/fix-#7323

Fix #7323: Fix missing PCP check for path dependent type

Author: nicolasstucki

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

@@ -119,8 +119,7 @@ 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 =>
-          if (tp.prefix.isInstanceOf[TermRef] && tp.prefix.isStable) tp
-          else checkSymLevel(tp.symbol, tp, pos) match {
+          checkSymLevel(tp.symbol, tp, pos) match {
             case Some(tpRef) => tpRef.tpe
             case _ =>
               if (tp.symbol.is(Param)) tp

tests/neg/i7323.scala

@@ -0,0 +1,3 @@
+trait Foo { type X }
+def f[T](given scala.quoted.Type[T]) = ???
+def g(m: Foo) = f[m.X] // error