Given the macro matching example, this shows how macros can match an argument.
I\'ve made very minor changes here to use numbers:
macro_rules! foo {
I'm fairly sure the answer is "no"; at macro expansion time all you have are token trees - expansion happens before evaluation, or even type inference/checking.