1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/macros/typeck-macro-interaction-issue-8852.rs b/src/test/ui/macros/typeck-macro-interaction-issue-8852.rs
new file mode 100644
index 000000000..f2b089b74
--- /dev/null
+++ b/src/test/ui/macros/typeck-macro-interaction-issue-8852.rs
@@ -0,0 +1,30 @@
+// run-pass
+#![allow(dead_code)]
+
+enum T {
+    A(isize),
+    B(f64)
+}
+
+// after fixing #9384 and implementing hygiene for match bindings,
+// this now fails because the insertion of the 'y' into the match
+// doesn't cause capture. Making this macro hygienic (as I've done)
+// could very well make this test case completely pointless....
+
+macro_rules! test {
+    ($id1:ident, $id2:ident, $e:expr) => (
+        fn foo(a:T, b:T) -> T {
+            match (a, b) {
+                (T::A($id1), T::A($id2)) => T::A($e),
+                (T::B($id1), T::B($id2)) => T::B($e),
+                _ => panic!()
+            }
+        }
+    )
+}
+
+test!(x,y,x + y);
+
+pub fn main() {
+    foo(T::A(1), T::A(2));
+}