KT-1141 No check that object in 'object expression' implements all abstract members of supertype

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

@@ -401,10 +401,14 @@ public interface Errors {
 
     ParameterizedDiagnosticFactory2<PropertyDescriptor, PropertyDescriptor> VAR_OVERRIDDEN_BY_VAL = new ParameterizedDiagnosticFactory2<PropertyDescriptor, PropertyDescriptor>(ERROR, "Var-property {0} cannot be overridden by val-property {1}", DescriptorRenderer.TEXT);
 
-    ParameterizedDiagnosticFactory2<JetClassOrObject, CallableMemberDescriptor> ABSTRACT_MEMBER_NOT_IMPLEMENTED = new ParameterizedDiagnosticFactory2<JetClassOrObject, CallableMemberDescriptor>(ERROR, "Class ''{0}'' must be declared abstract or implement abstract member {1}") {
+    ParameterizedDiagnosticFactory2<JetClassOrObject, CallableMemberDescriptor> ABSTRACT_MEMBER_NOT_IMPLEMENTED = new ParameterizedDiagnosticFactory2<JetClassOrObject, CallableMemberDescriptor>(ERROR, "{0} must be declared abstract or implement abstract member {1}") {
         @Override
         protected String makeMessageForA(@NotNull JetClassOrObject jetClassOrObject) {
-            return JetPsiUtil.safeName(jetClassOrObject.getName());
+            String name = jetClassOrObject.getName() != null ? " '" + jetClassOrObject.getName() + "'" : "";
+            if (jetClassOrObject instanceof JetClass) {
+                return "Class" + name;
+            }
+            return "Object" + name;
         }
 
         @Override

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

@@ -7,6 +7,7 @@ import org.jetbrains.annotations.NonNls;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 import org.jetbrains.jet.JetNodeTypes;
+import org.jetbrains.jet.lexer.JetTokens;
 
 import java.util.Collections;
 import java.util.List;
@@ -96,4 +97,9 @@ public class JetObjectDeclaration extends JetNamedDeclaration implements JetClas
     public boolean isObjectLiteral() {
         return getNameAsDeclaration() == null;
     }
+
+    @NotNull
+    public PsiElement getObjectKeyword() {
+        return findChildByType(JetTokens.OBJECT_KEYWORD);
+    }     
 }

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

@@ -121,6 +121,9 @@ public class OverrideResolver {
         }
         else if (klass instanceof JetObjectDeclaration) {
             nameIdentifier = ((JetObjectDeclaration) klass).getNameIdentifier();
+            if (nameIdentifier == null) {
+                nameIdentifier = ((JetObjectDeclaration) klass).getObjectKeyword();
+            }
         }
         if (nameIdentifier == null) return;