Fix #5954: Do not check prefix for non locally defined types

Author: nicolasstucki

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

@@ -241,8 +241,8 @@ class Staging extends MacroTransform {
  */
  private def checkSymLevel(sym: Symbol, tp: Type, pos: SourcePosition)(implicit ctx: Context): Option[Tree] = {
  val isThis = tp.isInstanceOf[ThisType]
- if (!isThis && sym.maybeOwner.isType && !sym.is(Param))
- checkSymLevel(sym.owner, sym.owner.thisType, pos)
+ if (!isThis && !sym.is(Param) && sym.maybeOwner.isType)
+ None
  else if (sym.exists && !sym.isStaticOwner && !levelOK(sym))
  tryHeal(sym, tp, pos)
  else

tests/neg/i5954.scala

@@ -0,0 +1,10 @@
+abstract class MatcherFactory1 {
+ class AndNotWord
+}
+
+object MatcherFactory1 {
+ import scala.quoted._
+
+ def impl2(a: MatcherFactory1)(self: Expr[a.AndNotWord]) =
+ '{ ~self } // error: access to value a from wrong staging level
+}

tests/pos/i5954.scala

@@ -0,0 +1,11 @@
+abstract class MatcherFactory1 {
+ class AndNotWord
+}
+
+object MatcherFactory1 {
+ import scala.quoted._
+
+ def impl(self: Expr[MatcherFactory1#AndNotWord]) =
+ '{ ~self }
+
+}