ANNOTATION_CLASS_WITH_BODY reported in DeclarationsChecker

compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationResolver.java

@@ -137,11 +137,6 @@ public class DeclarationResolver {
             JetClassOrObject classOrObject = entry.getKey();
             MutableClassDescriptor classDescriptor = (MutableClassDescriptor) entry.getValue();
 
-            JetClassBody jetClassBody = classOrObject.getBody();
-            if (classDescriptor.getKind() == ClassKind.ANNOTATION_CLASS && jetClassBody != null) {
-                trace.report(ANNOTATION_CLASS_WITH_BODY.on(jetClassBody));
-            }
-
             resolveFunctionAndPropertyHeaders(
                     c,
                     classOrObject.getDeclarations(), classDescriptor.getScopeForMemberDeclarationResolution(),

compiler/frontend/src/org/jetbrains/jet/lang/resolve/DeclarationsChecker.java

@@ -210,6 +210,9 @@ public class DeclarationsChecker {
             checkTraitModifiers(aClass);
             checkConstructorInTrait(aClass);
         }
+        else if (aClass.isAnnotation()) {
+            checkAnnotationClassWithBody(aClass);
+        }
         else if (aClass.isEnum()) {
             checkEnumModifiers(aClass);
         }
@@ -240,6 +243,11 @@ public class DeclarationsChecker {
         }
     }
 
+    private void checkAnnotationClassWithBody(JetClassOrObject classOrObject) {
+        if (classOrObject.getBody() != null) {
+            trace.report(ANNOTATION_CLASS_WITH_BODY.on(classOrObject.getBody()));
+        }
+    }
 
     private void checkOpenMembers(ClassDescriptorWithResolutionScopes classDescriptor) {
         for (CallableMemberDescriptor memberDescriptor : classDescriptor.getDeclaredCallableMembers()) {