Macro mirai_annotations::does_not_have_tag

macro_rules! does_not_have_tag {
    ($value : expr, $tag : ty) => { ... };
}

Provides a way to check if a value has not been tagged with a type using add_tag!. When compiled with an unmodified Rust compiler, this results in true. When compiled with MIRAI, this will be true if none data flows into the argument of this call has gone via a call to add_tag!.