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.