src/test/ui/macros/typeck-macro-interaction-issue-8852.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3
   4 enum T {
   5     A(isize),
   6     B(f64)
   7 }
   8
   9 // after fixing #9384 and implementing hygiene for match bindings,
  10 // this now fails because the insertion of the 'y' into the match
  11 // doesn't cause capture. Making this macro hygienic (as I've done)
  12 // could very well make this test case completely pointless....
  13
  14 macro_rules! test {
  15     ($id1:ident, $id2:ident, $e:expr) => (
  16         fn foo(a:T, b:T) -> T {
  17             match (a, b) {
  18                 (T::A($id1), T::A($id2)) => T::A($e),
  19                 (T::B($id1), T::B($id2)) => T::B($e),
  20                 _ => panic!()
  21             }
  22         }
  23     )
  24 }
  25
  26 test!(x,y,x + y);
  27
  28 pub fn main() {
  29     foo(T::A(1), T::A(2));
  30 }