Macro assert_var_impl 

macro_rules! assert_var_impl {
    ($var:ident: $($trait:path),+ $(,)?) => { ... };
}

Asserts that the variable’s type implements the given traits.