summaryrefslogtreecommitdiffstats
path: root/src/test/ui/hygiene/assoc_item_ctxt.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/hygiene/assoc_item_ctxt.rs')
-rw-r--r--src/test/ui/hygiene/assoc_item_ctxt.rs42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/test/ui/hygiene/assoc_item_ctxt.rs b/src/test/ui/hygiene/assoc_item_ctxt.rs
new file mode 100644
index 000000000..65593d1d5
--- /dev/null
+++ b/src/test/ui/hygiene/assoc_item_ctxt.rs
@@ -0,0 +1,42 @@
+// ignore-pretty pretty-printing is unhygienic
+
+#![feature(decl_macro)]
+#![allow(unused)]
+
+mod ok {
+ macro mac_trait_item($method: ident) {
+ fn $method();
+ }
+
+ trait Tr {
+ mac_trait_item!(method);
+ }
+
+ macro mac_trait_impl() {
+ impl Tr for u8 { // OK
+ fn method() {} // OK
+ }
+ }
+
+ mac_trait_impl!();
+}
+
+mod error {
+ macro mac_trait_item() {
+ fn method();
+ }
+
+ trait Tr {
+ mac_trait_item!();
+ }
+
+ macro mac_trait_impl() {
+ impl Tr for u8 { //~ ERROR not all trait items implemented, missing: `method`
+ fn method() {} //~ ERROR method `method` is not a member of trait `Tr`
+ }
+ }
+
+ mac_trait_impl!();
+}
+
+fn main() {}