miri
1.89.0-nightly
(99e7c15e8 2025-06-01)
In miri::
diagnostics
miri
::
diagnostics
Macro
note
Copy item path
Source
macro_rules! note { ($($tt:tt)*) => { ... }; }
Expand description
Generate a note/help text without a span.