Perform override and inheritance checks.

tests/language/check_member_static_test.dart

Index: tests/language/check_member_static_test.dart
diff --git a/tests/language/inferrer_synthesized_super_constructor_test.dart b/tests/language/check_member_static_test.dart
similarity index 62%
copy from tests/language/inferrer_synthesized_super_constructor_test.dart
copy to tests/language/check_member_static_test.dart
index ccffde991de77af4847f81b79f71a31f0803f3e1..d18ed68d74d944df61dc70964494463454aa5c14 100644
--- a/tests/language/inferrer_synthesized_super_constructor_test.dart
+++ b/tests/language/check_member_static_test.dart
@@ -2,20 +2,20 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-import 'compiler_annotations.dart';
-
 class A {
-  @DontInline()
-  A([a]) {
-    () => 42;
-    if (a != null) throw 'Test failed';
-  }
+  static var a;
+  var b;
 }
 
 class B extends A {
-  B();
+
 }
 
-main() {
-  new B();
+class C extends B {
+  var a; /// 01: static type warning
+  static var b; /// 02: compile-time error
 }
+
+void main() {
+  new C();
+}