Macro creusot_contracts::std::intrinsics::mir::place
source · pub macro place($e:expr) { ... }
🔬This is a nightly-only experimental API. (
custom_mir
)Expand description
Helper macro that allows you to treat a value expression like a place expression.
See the documentation on Variant
for why this is necessary and how to use it.