syntax
macro_rules! span_warn { ($session:expr, $span:expr, $code:ident, $($message:tt)*) => { ... }; }