Macro always 

macro_rules! always {
    ($condition:expr, $name:expr $(, $details:expr)? $(,)?) => { ... };
}

Records a safety assertion. The name must be a nonempty constant string.