syntex_syntax::span_fatal!

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