macro_rules! destructure_fields{
    ($matched:expr; $($variant:path),+ => $value:ident) => (
        match $matched {
            $($variant($value))|+ => $value
        }
    );
    //Problematic macro
    ($matched:expr; $($variant:path),+ => $($values:ident),+) => (
        match $matched {
            destructure_fields!(@create_pattern $($variant),+ => ($($values),+)) => ($($values),+)
        }
    );
    (@create_variant $variant:path, ($($values:expr),+)) => {
        $variant($($values),+)
    };
    (@create_pattern $($variant:path),+ => $value_tuple:tt) => (
        $(destructure_fields!(@create_variant $variant, $value_tuple))|+
    );
}

enum Test<'a> {
    A(&'a str, usize),
    B(&'a str, usize),
    C(&'a str, usize),
    D(&'a str, usize)
}

impl<'a> Test<'a> {
    fn get_content(&self) -> (&str, usize) {
        destructure_fields!(self; Test::A, Test::B, Test::C, Test::D => string, number)
    }
}

fn main() {
    let (string, number) = Test::B("This is a test!", 5).get_content();
    println!("{}{}", string, number);
}