self type constraints on Annotation and friends