Function pure_annotation 

pub fn pure_annotation<'a, C>(comments: C, state: &'a State) -> impl 'a + Pass
where
    C: 'a + Comments,