4 files changed, 34 insertions, 0 deletions
diff --git a/test/files/run/t5713.check b/test/files/run/t5713.check
new file mode 100644
index 0000000000..d3e9348123
--- /dev/null
+++ b/test/files/run/t5713.check
@@ -0,0 +1 @@
+err
diff --git a/test/files/run/t5713.flags b/test/files/run/t5713.flags
new file mode 100644
index 0000000000..cd66464f2f
--- /dev/null
+++ b/test/files/run/t5713.flags
@@ -0,0 +1 @@
+-language:experimental.macros
+\ No newline at end of file
diff --git a/test/files/run/t5713/Impls_Macros_1.scala b/test/files/run/t5713/Impls_Macros_1.scala
new file mode 100644
index 0000000000..b499bc7e4e
--- /dev/null
+++ b/test/files/run/t5713/Impls_Macros_1.scala
@@ -0,0 +1,27 @@
+package m
+
+import language.experimental.macros
+import scala.reflect.makro.Context
+
+object Level extends Enumeration {
+  val Error = Value(5)
+}
+
+object Logger {
+  def error(message: String): Unit = macro LoggerMacros.error
+}
+
+private object LoggerMacros {
+
+  type LoggerContext = Context { type PrefixType = Logger.type }
+
+  def error(c: LoggerContext)(message: c.Expr[String]): c.Expr[Unit] =
+    log(c)(c.reify(Level.Error), message)
+
+  private def log(c: LoggerContext)(level: c.Expr[Level.Value], message: c.Expr[String]): c.Expr[Unit] =
+    if (level.eval.id < 4) // TODO Remove hack!
+      c.reify(())
+    else {
+      c.reify(println(message.eval))
+    }
+}
+\ No newline at end of file
diff --git a/test/files/run/t5713/Test_2.scala b/test/files/run/t5713/Test_2.scala
new file mode 100644
index 0000000000..24f9e79b11
--- /dev/null
+++ b/test/files/run/t5713/Test_2.scala
@@ -0,0 +1,5 @@
+import m._
+
+object Test extends App {
+  Logger.error("err")
+}
+\ No newline at end of file