Macro assert_annotation

macro_rules! assert_annotation {
    ($code:expr) => { ... };
}