2 files changed, 23 insertions, 0 deletions
diff --git a/tests/untried/neg/macro-invalidusage-badtargs/Impls_1.scala b/tests/untried/neg/macro-invalidusage-badtargs/Impls_1.scala
new file mode 100644
index 000000000..8765cfbd5
--- /dev/null
+++ b/tests/untried/neg/macro-invalidusage-badtargs/Impls_1.scala
@@ -0,0 +1,5 @@
+import scala.reflect.macros.blackbox.Context
+
+object Impls {
+  def foo(c: Context)(x: c.Expr[Int]) = x
+}
diff --git a/tests/untried/neg/macro-invalidusage-badtargs/Macros_Test_2.scala b/tests/untried/neg/macro-invalidusage-badtargs/Macros_Test_2.scala
new file mode 100644
index 000000000..be61c4e8e
--- /dev/null
+++ b/tests/untried/neg/macro-invalidusage-badtargs/Macros_Test_2.scala
@@ -0,0 +1,18 @@
+import scala.language.higherKinds
+
+object Macros {
+  def foo1(x: Int): Int = macro Impls.foo
+  def foo2[T](x: Int): Int = macro Impls.foo
+  def foo3[T, U](x: Int): Int = macro Impls.foo
+  def foo4[T[_]](x: Int): Int = macro Impls.foo
+  def foo5[T[U[_]]](x: Int): Int = macro Impls.foo
+}
+
+object Test extends App {
+  import Macros._
+  foo1[String](42)
+  foo2[String, String](42)
+  foo3[String](42)
+  foo4[String](42)
+  foo5[List](42)
+}