Annotation checking for methods and members