Macro mirai_annotations::set_model_field

macro_rules! set_model_field {
    ($target:expr, $field_name:ident, $value:expr) => { ... };
}

Sets the value of the specified model field. A model field does not exist at runtime and is invisible to the Rust compiler. This macro expands to nothing unless the program is compiled with MIRAI.