From 3e790a7c304b3bcb182c4fcb745ea288d3dc56f2 Mon Sep 17 00:00:00 2001
From: mark <markm@cs.wisc.edu>
Date: Tue, 15 Jan 2019 16:55:23 -0600
Subject: [PATCH] add a test

---
 .../macros/macro-multiple-matcher-bindings.rs | 19 +++++++
 .../macro-multiple-matcher-bindings.stderr    | 50 +++++++++++++++++++
 2 files changed, 69 insertions(+)
 create mode 100644 src/test/ui/macros/macro-multiple-matcher-bindings.rs
 create mode 100644 src/test/ui/macros/macro-multiple-matcher-bindings.stderr

diff --git a/src/test/ui/macros/macro-multiple-matcher-bindings.rs b/src/test/ui/macros/macro-multiple-matcher-bindings.rs
new file mode 100644
index 0000000000000..ea57d66b565d9
--- /dev/null
+++ b/src/test/ui/macros/macro-multiple-matcher-bindings.rs
@@ -0,0 +1,19 @@
+// Test that duplicate matcher binding names are caught at declaration time, rather than at macro
+// invocation time.
+
+macro_rules! foo1 {
+    ($a:ident, $a:ident) => {}; //~ERROR duplicate matcher binding
+    ($a:ident, $a:path) => {};  //~ERROR duplicate matcher binding
+}
+
+macro_rules! foo2 {
+    ($a:ident) => {}; // OK
+    ($a:path) => {};  // OK
+}
+
+macro_rules! foo3 {
+    ($a:ident, $($a:ident),*) => {}; //~ERROR duplicate matcher binding
+    ($($a:ident)+ # $($($a:path),+);*) => {}; //~ERROR duplicate matcher binding
+}
+
+fn main() {}
diff --git a/src/test/ui/macros/macro-multiple-matcher-bindings.stderr b/src/test/ui/macros/macro-multiple-matcher-bindings.stderr
new file mode 100644
index 0000000000000..3e3e10245870f
--- /dev/null
+++ b/src/test/ui/macros/macro-multiple-matcher-bindings.stderr
@@ -0,0 +1,50 @@
+error: duplicate matcher binding
+  --> $DIR/macro-multiple-matcher-bindings.rs:5:16
+   |
+LL |     ($a:ident, $a:ident) => {}; //~ERROR duplicate matcher binding
+   |                ^^^^^^^^
+   |
+note: previous declaration was here
+  --> $DIR/macro-multiple-matcher-bindings.rs:5:6
+   |
+LL |     ($a:ident, $a:ident) => {}; //~ERROR duplicate matcher binding
+   |      ^^^^^^^^
+
+error: duplicate matcher binding
+  --> $DIR/macro-multiple-matcher-bindings.rs:6:16
+   |
+LL |     ($a:ident, $a:path) => {};  //~ERROR duplicate matcher binding
+   |                ^^^^^^^
+   |
+note: previous declaration was here
+  --> $DIR/macro-multiple-matcher-bindings.rs:6:6
+   |
+LL |     ($a:ident, $a:path) => {};  //~ERROR duplicate matcher binding
+   |      ^^^^^^^^
+
+error: duplicate matcher binding
+  --> $DIR/macro-multiple-matcher-bindings.rs:15:18
+   |
+LL |     ($a:ident, $($a:ident),*) => {}; //~ERROR duplicate matcher binding
+   |                  ^^^^^^^^
+   |
+note: previous declaration was here
+  --> $DIR/macro-multiple-matcher-bindings.rs:15:6
+   |
+LL |     ($a:ident, $($a:ident),*) => {}; //~ERROR duplicate matcher binding
+   |      ^^^^^^^^
+
+error: duplicate matcher binding
+  --> $DIR/macro-multiple-matcher-bindings.rs:16:25
+   |
+LL |     ($($a:ident)+ # $($($a:path),+);*) => {}; //~ERROR duplicate matcher binding
+   |                         ^^^^^^^
+   |
+note: previous declaration was here
+  --> $DIR/macro-multiple-matcher-bindings.rs:16:8
+   |
+LL |     ($($a:ident)+ # $($($a:path),+);*) => {}; //~ERROR duplicate matcher binding
+   |        ^^^^^^^^
+
+error: aborting due to 4 previous errors
+