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 }
+
+}