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

tests/pos-macros/i7513c/Macro_1.scala

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

tests/pos-macros/i7513c/Test_2.scala

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