pub fn restrict_annotation(value: Annotation) -> Annotation