Perpare to move blackbox inlining after typer

Author: nicolasstucki

compiler/src/dotty/tools/dotc/config/ScalaSettings.scala

@@ -183,6 +183,9 @@ class ScalaSettings extends Settings.SettingGroup {
   val Yinstrument: Setting[Boolean] = BooleanSetting("-Yinstrument", "Add instrumentation code that counts allocations and closure creations.")
   val YinstrumentDefs: Setting[Boolean] = BooleanSetting("-Yinstrument-defs", "Add instrumentation code that counts method calls; needs -Yinstrument to be set, too.")
 
+  // TODO Remove. Added to help bootstrappting this change.
+  val YinlineBlackboxAfterTyper: Setting[Boolean] = BooleanSetting("-Yinline-blackbox-after-typer", "")
+
   /** Dottydoc specific settings */
   val siteRoot: Setting[String] = StringSetting(
     "-siteroot",

tests/run-macros/whitebox-inline-macro/Macro_1.scala

@@ -0,0 +1,11 @@
+import scala.quoted._
+
+object Macros {
+
+  inline def blackbox: Int = ${one}
+
+  transparent inline def whitebox: Int = ${one}
+
+  private def one(using QuoteContext): Expr[Int] = Expr(1)
+
+}

tests/run-macros/whitebox-inline-macro/Test_2.scala

@@ -0,0 +1,12 @@
+import scala.quoted._
+import Macros._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val a: Int = blackbox
+    val b: 1 = whitebox
+
+    assert(a == 1)
+    assert(b == 1)
+  }
+}

tests/run/whitebox-inline.scala

@@ -0,0 +1,16 @@
+import scala.quoted._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val a: Int = blackbox
+    val b: 1 = whitebox
+
+    assert(a == 1)
+    assert(b == 1)
+  }
+
+  inline def blackbox: Int = 1
+
+  transparent inline def whitebox: Int = 1
+
+}