2 files changed, 20 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Impls_1.scala b/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Impls_1.scala
new file mode 100644
index 000000000..aeceee5a5
--- /dev/null
+++ b/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Impls_1.scala
@@ -0,0 +1,9 @@
+import scala.reflect.macros.blackbox.Context
+
+object Impls {
+  def foo(c: Context)(x: c.Expr[String]): c.Expr[Option[Int]] = {
+    import c.universe._
+    val body = Apply(Ident(definitions.SomeModule), List(Select(x.tree, TermName("toInt"))))
+    c.Expr[Option[Int]](body)
+  }
+}
+\ No newline at end of file
diff --git a/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Macros_Test_2.scala b/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Macros_Test_2.scala
new file mode 100644
index 000000000..8f0fbe60e
--- /dev/null
+++ b/tests/disabled/macro/run/macro-expand-implicit-macro-is-implicit/Macros_Test_2.scala
@@ -0,0 +1,11 @@
+object Macros {
+  import scala.language.implicitConversions
+  implicit def foo(x: String): Option[Int] = macro Impls.foo
+}
+
+object Test extends dotty.runtime.LegacyApp {
+  import Macros._
+  println("2": Option[Int])
+  val s: Int = "2" getOrElse 0
+  println(s)
+}