Perform override and inheritance checks.

tests/language/check_member_static_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // 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();
+}