Handle this prefix in objects (in quote patterns)

Fix #14536

Author: nicolasstucki

compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala

@@ -247,6 +247,8 @@ object QuoteMatcher {
                     case ref: Ident =>
                       ref.tpe match
                         case TermRef(qual: TermRef, _) => tpd.ref(qual) =?= qual2
+                        case TermRef(qual: ThisType, _) if qual.classSymbol.is(Module) =>
+                          tpd.ref(ref.symbol) =?= pattern
                         case _ => matched
                 /* Match reference */
                 case _: Ident if symbolMatch(scrutinee, pattern) => matched

tests/pos-macros/i14536/Macro_1.scala

@@ -0,0 +1,11 @@
+import quoted.*
+
+inline def isFoo(inline x: Any): Boolean = ${ isFooImpl('x) }
+
+def isFooImpl(x: Expr[Any])(using Quotes): Expr[Boolean] =
+  x match
+    case '{ ($p: Parent).foo } => '{ true }
+    case _ => '{ false }
+
+trait Parent:
+  def foo = 0

tests/pos-macros/i14536/Test_2.scala

@@ -0,0 +1,2 @@
+object Child extends Parent:
+  def bar = isFoo(foo)