Macro miri::diagnostics::note
source ยท macro_rules! note { ($($tt:tt)*) => { ... }; }
Expand description
Generate a note/help text without a span.
macro_rules! note { ($($tt:tt)*) => { ... }; }
Generate a note/help text without a span.