pub macro mir( $(let $local_decl:ident $(: $local_decl_ty:ty)?;)* { $($entry:tt)* } $($block_name:ident = { $($block:tt)* })* ) { ... }
🔬This is a nightly-only experimental API. (
custom_mir
)Available on non-crate feature
miri-test-libstd
only.Expand description
Macro for generating custom MIR.
See the module documentation for syntax details. This macro is not magic - it only transforms your MIR into something that is easier to parse in the compiler.