Fix #7513: Add regression test

Author: nicolasstucki

tests/pos-macros/i7513/Macro_1.scala

@@ -0,0 +1,12 @@
+import scala.quoted._
+
+trait Quoted {
+  def foo: Int
+}
+inline def quote: Quoted = ${ quoteImpl }
+
+def quoteImpl(given qctx: QuoteContext): Expr[Quoted] = '{
+  new Quoted {
+    def foo = ???
+  }
+}

tests/pos-macros/i7513/Test_2.scala

@@ -0,0 +1,3 @@
+object Test {
+  quote.foo
+}

tests/pos-macros/i7513b/Macro_1.scala

@@ -0,0 +1,12 @@
+import scala.quoted._
+
+trait Quoted {
+  val foo: Int
+}
+inline def quote: Quoted = ${ quoteImpl }
+
+def quoteImpl(given qctx: QuoteContext): Expr[Quoted] = '{
+  new Quoted {
+    val foo = ???
+  }
+}

tests/pos-macros/i7513b/Test_2.scala

@@ -0,0 +1,3 @@
+object Test {
+  quote.foo
+}