2 files changed, 35 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala b/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala
new file mode 100644
index 000000000..f99f5d2f8
--- /dev/null
+++ b/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala
@@ -0,0 +1,31 @@
+import scala.reflect.macros.blackbox.Context
+
+object Macros {
+  def impl_with_macros_enabled(c: Context) = {
+    import c.universe._
+
+    val ru = Select(Select(Select(Select(Ident(TermName("scala")), TermName("reflect")), TermName("runtime")), TermName("package")), TermName("universe"))
+    val tree1 = Apply(Select(ru, TermName("reify")), List(Apply(Select(Ident(TermName("scala")), TermName("Array")), List(Literal(Constant(2))))))
+    val ttree1 = c.typecheck(tree1, withMacrosDisabled = false)
+    c.Expr[String](Literal(Constant(ttree1.toString)))
+  }
+
+  def foo_with_macros_enabled = macro impl_with_macros_enabled
+
+  def impl_with_macros_disabled(c: Context) = {
+    import c.universe._
+    import internal._
+
+    val rupkg = c.mirror.staticModule("scala.reflect.runtime.package")
+    val rusym = reificationSupport.selectTerm(rupkg, "universe")
+    val NullaryMethodType(rutpe) = rusym.info
+    val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe)
+    reificationSupport.setInfo(ru, rutpe)
+
+    val tree2 = Apply(Select(Ident(ru), TermName("reify")), List(Apply(Select(Ident(TermName("scala")), TermName("Array")), List(Literal(Constant(2))))))
+    val ttree2 = c.typecheck(tree2, withMacrosDisabled = true)
+    c.Expr[String](Literal(Constant(ttree2.toString)))
+  }
+
+  def foo_with_macros_disabled = macro impl_with_macros_disabled
+}
diff --git a/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Test_2.scala b/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Test_2.scala
new file mode 100644
index 000000000..887f28c8c
--- /dev/null
+++ b/tests/disabled/macro/run/macro-typecheck-macrosdisabled2/Test_2.scala
@@ -0,0 +1,4 @@
+object Test extends dotty.runtime.LegacyApp {
+  println(Macros.foo_with_macros_enabled)
+  println(Macros.foo_with_macros_disabled)
+}
+\ No newline at end of file