aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/neg/macro-invalidsig-params-badtype.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/neg/macro-invalidsig-params-badtype.check')
-rw-r--r--tests/untried/neg/macro-invalidsig-params-badtype.check8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/untried/neg/macro-invalidsig-params-badtype.check b/tests/untried/neg/macro-invalidsig-params-badtype.check
new file mode 100644
index 000000000..159754c72
--- /dev/null
+++ b/tests/untried/neg/macro-invalidsig-params-badtype.check
@@ -0,0 +1,8 @@
+Impls_Macros_1.scala:8: error: macro implementation has incompatible shape:
+ required: (c: scala.reflect.macros.blackbox.Context)(x: c.Expr[Int]): c.Expr[Nothing]
+ or : (c: scala.reflect.macros.blackbox.Context)(x: c.Tree): c.Tree
+ found : (c: scala.reflect.macros.blackbox.Context)(x: Int): Nothing
+type mismatch for parameter x: c.Expr[Int] does not conform to Int
+ def foo(x: Int) = macro Impls.foo
+ ^
+one error found