1 files changed, 21 insertions, 0 deletions
diff --git a/test/files/pos/t8719/Macros_1.scala b/test/files/pos/t8719/Macros_1.scala
new file mode 100644
index 0000000000..152c92f254
--- /dev/null
+++ b/test/files/pos/t8719/Macros_1.scala
@@ -0,0 +1,21 @@
+import scala.language.experimental.macros
+import scala.reflect.macros.TypecheckException
+import scala.reflect.macros.whitebox.Context
+
+object Macros {
+  def typecheck_impl(c: Context)(code: c.Expr[String]): c.Expr[Option[String]] = {
+    import c.universe._
+
+    val Expr(Literal(Constant(codeStr: String))) = code
+
+    try {
+      c.typecheck(c.parse(codeStr))
+      c.Expr(q"None: Option[String]")
+    } catch {
+      case e: TypecheckException =>
+        c.Expr(q"Some(${ e.toString }): Option[String]")
+    }
+  }
+
+  def typecheck(code: String): Option[String] = macro typecheck_impl
+}
+\ No newline at end of file