@Check
 public void checkAnnotationIsBindingAnnotation(final XAnnotation it) {
   JvmType _annotationType = it.getAnnotationType();
   final JvmType type = _annotationType;
   boolean _matched = false;
   if (!_matched) {
     if (type instanceof JvmAnnotationType) {
       final JvmAnnotationType _jvmAnnotationType = (JvmAnnotationType) type;
       _matched = true;
       EList<JvmAnnotationReference> _annotations = _jvmAnnotationType.getAnnotations();
       final Function1<JvmAnnotationReference, Boolean> _function =
           new Function1<JvmAnnotationReference, Boolean>() {
             public Boolean apply(final JvmAnnotationReference it) {
               JvmAnnotationType _annotation = it.getAnnotation();
               boolean _is =
                   GuiceModulesValidator.this._typeReferences.is(
                       _annotation, BindingAnnotation.class);
               return Boolean.valueOf(_is);
             }
           };
       boolean _exists =
           IterableExtensions.<JvmAnnotationReference>exists(_annotations, _function);
       boolean _not = (!_exists);
       if (_not) {
         this.error(
             "The annotation is not annotated with @BindingAnnotation",
             Literals.XANNOTATION__ANNOTATION_TYPE);
       }
     }
   }
 }