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

Fix #7323: Fix missing PCP check for path dependent type
scala · Oct 4, 2019 · 736af36 · 736af36
2 parents 15cece6 + 609e7d5
commit 736af36
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala b/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

diff --git a/tests/neg/i7323.scala b/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
diff --git a/tests/pos/i7048.scala → tests/pending/pos/i7048.scala b/tests/pos/i7048.scala → tests/pending/pos/i7048.scala
diff --git a/tests/run-macros/i7048/Lib_1.scala → tests/pending/run-macros/i7048/Lib_1.scala b/tests/run-macros/i7048/Lib_1.scala → tests/pending/run-macros/i7048/Lib_1.scala
diff --git a/tests/run-macros/i7048/Test_2.scala → tests/pending/run-macros/i7048/Test_2.scala b/tests/run-macros/i7048/Test_2.scala → tests/pending/run-macros/i7048/Test_2.scala