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