Macro miri::diagnostics::note

source ยท
macro_rules! note {
    ($($tt:tt)*) => { ... };
}
Expand description

Generate a note/help text without a span.