Macro mirai_annotations::has_tag

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

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