Macro miri::diagnostics::note_span

macro_rules! note_span {
    ($span:expr, $($tt:tt)*) => { ... };
}

Generate a note/help text with a span.