2 files changed, 14 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/t7657/Macros_1.scala b/tests/disabled/macro/run/t7657/Macros_1.scala
new file mode 100644
index 000000000..a883f76bc
--- /dev/null
+++ b/tests/disabled/macro/run/t7657/Macros_1.scala
@@ -0,0 +1,8 @@
+import scala.reflect.macros.blackbox.Context
+import language.experimental.macros
+
+trait T { def t(): Unit }
+abstract class A extends T { override def t(): Unit = () }
+
+object Macro { def t(c: Context)(): c.Expr[Unit] = c.universe.reify(()) }
+class C extends A { override def t(): Unit = macro Macro.t }
diff --git a/tests/disabled/macro/run/t7657/Test_2.scala b/tests/disabled/macro/run/t7657/Test_2.scala
new file mode 100644
index 000000000..68dfb5c8b
--- /dev/null
+++ b/tests/disabled/macro/run/t7657/Test_2.scala
@@ -0,0 +1,6 @@
+object Test extends dotty.runtime.LegacyApp {
+  val c = new C()
+  println(c.t())
+  println((c: T).t())
+  println((c: A).t())
+}