Macro __diagnostics_info_span 

macro_rules! __diagnostics_info_span {
    ($($args:tt)*) => { ... };
}