Multiple errors of the same kind fixed

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

@@ -261,7 +261,7 @@ public class OverrideResolver {
 
                     if (checkPropertyKind(overridden, true) && checkPropertyKind(declared, false) && !kindMismatchError) {
                         context.getTrace().report(VAR_OVERRIDDEN_BY_VAL.on(member, ((JetProperty) member).getValOrVarNode(), (PropertyDescriptor) declared, (PropertyDescriptor) overridden));
-                        typeMismatchError = true;
+                        kindMismatchError = true;
                     }
                 }
             }

idea/testData/checkerWithErrorTypes/quick/OverridingVarByVal.jet

@@ -2,7 +2,11 @@ open class Var() {
   open var v : Int = 1
 }
 
-class Val() : Var() {
+trait VarT {
+  var v : Int
+}
+
+class Val() : Var(), VarT {
   override <!VAR_OVERRIDDEN_BY_VAL!>val<!> v : Int = 1
 }