1 files changed, 28 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/macro-typecheck-implicitsdisabled/Impls_Macros_1.scala b/tests/disabled/macro/run/macro-typecheck-implicitsdisabled/Impls_Macros_1.scala
new file mode 100644
index 000000000..956331cfa
--- /dev/null
+++ b/tests/disabled/macro/run/macro-typecheck-implicitsdisabled/Impls_Macros_1.scala
@@ -0,0 +1,28 @@
+import scala.reflect.macros.blackbox.Context
+
+object Macros {
+  def impl_with_implicits_enabled(c: Context) = {
+    import c.universe._
+
+    val tree1 = Apply(Select(Literal(Constant(1)), TermName("$minus$greater")), List(Literal(Constant(2))))
+    val ttree1 = c.typecheck(tree1, withImplicitViewsDisabled = false)
+    c.Expr[String](Literal(Constant(ttree1.toString)))
+  }
+
+  def foo_with_implicits_enabled = macro impl_with_implicits_enabled
+
+  def impl_with_implicits_disabled(c: Context) = {
+    import c.universe._
+
+    try {
+      val tree2 = Apply(Select(Literal(Constant(1)), TermName("$minus$greater")), List(Literal(Constant(2))))
+      val ttree2 = c.typecheck(tree2, withImplicitViewsDisabled = true)
+      c.Expr[String](Literal(Constant(ttree2.toString)))
+    } catch {
+      case ex: Throwable =>
+        c.Expr[String](Literal(Constant(ex.toString)))
+    }
+  }
+
+  def foo_with_implicits_disabled = macro impl_with_implicits_disabled
+}
+\ No newline at end of file