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.