1 files changed, 43 insertions, 0 deletions
diff --git a/test/files/neg/macro-invalidimpl.check b/test/files/neg/macro-invalidimpl.check
new file mode 100644
index 0000000000..7177a8cdee
--- /dev/null
+++ b/test/files/neg/macro-invalidimpl.check
@@ -0,0 +1,43 @@
+Macros_Test_2.scala:5: error: macro implementation must be in statically accessible object
+  def foo(x: Any) = macro impls.foo
+                                ^
+Macros_Test_2.scala:10: error: macro implementation must be in statically accessible object
+  def foo(x: Any) = macro impls.foo
+                                ^
+Macros_Test_2.scala:18: error: macro implementation must be in statically accessible object
+  def foo(x: Any) = macro Impls3.foo
+                                 ^
+Macros_Test_2.scala:22: error: macro implementation must be in statically accessible object
+  def foo(x: Any) = macro Impls4.foo
+                                 ^
+Macros_Test_2.scala:26: error: ambiguous reference to overloaded definition,
+both method foo in object Impls5 of type (c: scala.reflect.macros.Context)(x: c.Expr[Any], y: c.Expr[Any])Nothing
+and  method foo in object Impls5 of type (c: scala.reflect.macros.Context)(x: c.Expr[Any])Nothing
+match expected type ?
+  def foo(x: Any) = macro Impls5.foo
+                                 ^
+Macros_Test_2.scala:27: error: ambiguous reference to overloaded definition,
+both method foo in object Impls5 of type (c: scala.reflect.macros.Context)(x: c.Expr[Any], y: c.Expr[Any])Nothing
+and  method foo in object Impls5 of type (c: scala.reflect.macros.Context)(x: c.Expr[Any])Nothing
+match expected type ?
+  def foo(x: Any, y: Any) = macro Impls5.foo
+                                         ^
+Macros_Test_2.scala:31: error: macro implementation has wrong shape:
+ required: (c: scala.reflect.macros.Context): c.Expr[Unit]
+ found   : (c: scala.reflect.macros.Context)(): c.Expr[Unit]
+number of parameter sections differ
+  def foo1 = macro Impls6.fooEmpty
+                          ^
+Macros_Test_2.scala:32: error: macro implementation has wrong shape:
+ required: (c: scala.reflect.macros.Context)(): c.Expr[Unit]
+ found   : (c: scala.reflect.macros.Context): c.Expr[Unit]
+number of parameter sections differ
+  def bar1() = macro Impls6.fooNullary
+                            ^
+Macros_Test_2.scala:36: error: type arguments [String] do not conform to method foo's type parameter bounds [U <: Int]
+  def foo = macro Impls7.foo[String]
+                            ^
+Macros_Test_2.scala:53: error: macro implementation must be public
+    def foo = macro Impls8.impl
+                           ^
+10 errors found