syntex_syntax::span_note!

macro_rules! span_note {
    ($session:expr, $span:expr, $($message:tt)*) => ({
        ($session).span_note($span, &format!($($message)*))
    })
}