Attribute Macro sel4::sel4_cfg_match

#[sel4_cfg_match]

Allows a match expression’s variants to use the sel4_cfg attribute.

Using this attribute macro currently requires nightly (#![feature(proc_macro_hygiene)] and #![feature(stmt_expr_attributes)]). The less elegant sel4_cfg_wrap_match serves the same purpose and works on stable.

Example

#[sel4_cfg_match]
match foo {
    #[sel4_cfg(KERNEL_MCS)]
    1337 => bar,
}