Merge pull request #11030 from dotty-staging/fix-#7592

Add regression test

Author: nicolasstucki

compiler/test/dotty/tools/dotc/BootstrappedOnlyCompilationTests.scala

@@ -36,6 +36,7 @@ class BootstrappedOnlyCompilationTests extends ParallelTesting {
       compileFilesInDir("tests/bench", defaultOptions),
       compileFilesInDir("tests/pos-macros", defaultOptions),
       compileFilesInDir("tests/pos-custom-args/semanticdb", defaultOptions.and("-Xsemanticdb")),
+      compileDir("tests/pos-special/i7592", defaultOptions.and("-Yretain-trees")),
     ).checkCompile()
   }
 

tests/pos-special/i7592/Macros_1.scala

@@ -0,0 +1,28 @@
+import scala.quoted._
+
+def compileImpl[T](expr : Expr[T])(using Quotes) : Expr[T] = {
+  import quotes.reflect._
+
+  def proc(term : Term): Term = {
+    term match {
+      case Inlined(call, bindings, body) => Inlined(call, bindings, proc(body))
+      case l : Literal => l
+      case Block(statements, expr) =>
+        proc(expr) // FIXME: very wrong
+      case s : (Select|Ident) => {
+        if( s.symbol.isDefDef ) {
+          s.symbol.tree match {
+            case DefDef(name, typeParams, params, returnTp, Some(rhs)) => proc(rhs)
+          }
+        } else {
+          ???
+        }
+      }
+    }
+  }
+
+  proc(expr.asTerm).asExpr.asInstanceOf[Expr[T]]
+}
+
+inline def compile[T](expr : =>T) : T =
+  ${ compileImpl('{ expr }) }

tests/pos-special/i7592/Test_2.scala

@@ -0,0 +1,5 @@
+def return1 = 1
+
+def testReturn1 = {
+  assert(1 == compile(return1))
+}