Annotation validation checks