Should be `hasUnspecializableAnnotation`, no?