miri
1.83.0-beta.6
(4ff8ff0ec 2024-11-16)
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.