miri::diagnostics

Macro note_span

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

Generate a note/help text with a span.