Fix @Nullable annotation for JetClassObject.getObjectDeclaration()

compiler/frontend/src/org/jetbrains/jet/lang/diagnostics/PositioningStrategies.java

@@ -289,9 +289,7 @@ public class PositioningStrategies {
 
             if (element instanceof JetClassObject) {
                 JetObjectDeclaration objectDeclaration = ((JetClassObject) element).getObjectDeclaration();
-                if (objectDeclaration != null) {
-                    return ImmutableList.of(objectDeclaration.getObjectKeyword().getTextRange());
-                }
+                return ImmutableList.of(objectDeclaration.getObjectKeyword().getTextRange());
             }
 
             throw new IllegalArgumentException(

compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassObject.java

@@ -38,9 +38,15 @@ public class JetClassObject extends JetDeclarationImpl implements JetStatementEx
         return visitor.visitClassObject(this, data);
     }
 
-    @Nullable @IfNotParsed
+    @NotNull
     public JetObjectDeclaration getObjectDeclaration() {
-        return (JetObjectDeclaration) findChildByType(JetNodeTypes.OBJECT_DECLARATION);
+        JetObjectDeclaration objectDeclaration = (JetObjectDeclaration) findChildByType(JetNodeTypes.OBJECT_DECLARATION);
+
+        assert objectDeclaration != null :
+                String.format("It should be impossible to produce class object element without object child:\n %s",
+                              this.getParent().getText());
+
+        return objectDeclaration;
     }
 
     @Nullable @IfNotParsed

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

@@ -514,7 +514,6 @@ public class TypeHierarchyResolver {
         @Override
         public void visitClassObject(@NotNull JetClassObject classObject) {
             JetObjectDeclaration objectDeclaration = classObject.getObjectDeclaration();
-            if (objectDeclaration == null) return;
 
             DeclarationDescriptor container = owner.getOwnerForChildren();
 

compiler/frontend/src/org/jetbrains/jet/lang/resolve/lazy/descriptors/LazyClassDescriptor.java

@@ -259,9 +259,7 @@ public class LazyClassDescriptor extends ClassDescriptorBase implements LazyDesc
     public JetClassLikeInfo getClassObjectInfo(JetClassObject classObject) {
         if (classObject != null) {
             JetObjectDeclaration objectDeclaration = classObject.getObjectDeclaration();
-            if (objectDeclaration != null) {
-                return JetClassInfoUtil.createClassLikeInfo(objectDeclaration);
-            }
+            return JetClassInfoUtil.createClassLikeInfo(objectDeclaration);
         }
         else if (getKind() == ClassKind.OBJECT || getKind() == ClassKind.ENUM_ENTRY || getKind() == ClassKind.ENUM_CLASS) {
             return new SyntheticClassObjectInfo(originalClassInfo, this);