Perform override and inheritance checks.

tests/language/override_inheritance_method_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.
+
+// Test static warnings for method overrides.
+
+class A {
+  method1() => null; /// 01: ok
+  method2(a) => null; /// 02: ok
+  method3(a, b, c, d) => null; /// 03: ok
+  method4() => null; /// 04: static type warning
+  method6(a, b, c) => null; /// 06: static type warning
+  method7([a]) => null; /// 07: ok
+  method8([a, b]) => null; /// 08: ok
+  method9([a, b, c]) => null; /// 09: ok
+  method10([a]) => null; /// 10: ok
+  method11(a) => null; /// 11: static type warning
+  method12(a, [b]) => null; /// 12: static type warning
+  method13(a, [b]) => null; /// 13: static type warning
+  method14(a, b, [c, d, e]) => null; /// 14: static type warning
+  method15({a}) => null; /// 15: ok
+  method16({a, b}) => null; /// 16: ok
+  method17({a, b, c}) => null; /// 17: ok
+  method18(d, {a, b, c}) => null; /// 18: ok
+  method19({a}) => null; /// 19: static type warning
+  method20({a, b}) => null; /// 20: static type warning
+  method21({a, b, c, d}) => null; /// 21: static type warning
+
+  method22(int a) => null; /// 22: ok
+  method23(int a) => null; /// 23: ok
+  void method24() {} /// 24: ok
+  method25() => null; /// 25: ok
+  void method26() {} /// 26: ok
+  int method27() => null; /// 27: static type warning
+  method28(int a) => null; /// 28: ok
+  method29(int a) => null; /// 29: ok
+  method30(int a) => null; /// 30: static type warning
+}
+
+class B extends A {
+  method28(num a) => null; /// 28: continued
+  method29(a) => null; /// 29: continued
+}
+
+abstract class I {
+  method5() => null; /// 05: static type warning
+  method31(int a) => null; /// 31: static type warning
+  method32(int a) => null; /// 32: static type warning
+  method33(num a) => null; /// 33: static type warning
+}
+
+abstract class J {
+  method31(num a) => null; /// 31: continued
+  method32(double a) => null; /// 32: continued
+  method33(int a) => null; /// 33: continued
+}
+
+class Class extends B implements I, J {
+  method1() => null; /// 01: continued
+  method2(b) => null; /// 02: continued
+  method3(b, a, d, c) => null; /// 03: continued
+  method4(a) => null; /// 04: continued
+  method5(a) => null; /// 05: continued
+  method6(a, b, c, d) => null; /// 06: continued
+  method7([a]) => null; /// 07: continued
+  method8([b, a]) => null; /// 08: continued
+  method9([b, d, a, c]) => null; /// 09: continued
+  method10([a]) => null; /// 10: continued
+  method11() => null; /// 11: continued
+  method12(a) => null; /// 12: continued
+  method13([a]) => null; /// 13: continued
+  method14([a, b, c, d]) => null; /// 14: continued
+  method15({a}) => null; /// 15: continued
+  method16({b, a}) => null; /// 16: continued
+  method17({b, c, a, d}) => null; /// 17: continued
+  method18(e, {b, c, a, d}) => null; /// 18: continued
+  method19() => null; /// 19: continued
+  method20({b}) => null; /// 20: continued
+  method21({a, e, d, c}) => null; /// 21: continued
+
+  method22(int a) => null; /// 22: continued
+  method23(num a) => null; /// 23: continued
+  method24() => null; /// 24: continued
+  void method25() {} /// 25: continued
+  int method26() => null; /// 26: continued
+  void method27() {} /// 27: continued
+  method28(double a) => null; /// 28: continued
+  method29(String a) => null; /// 29: continued
+  method30(String a) => null; /// 30: continued
+}
+
+class SubClass extends Class {
+  method31(double a) => null; /// 31: continued
+  method32(String a) => null; /// 32: continued
+  method33(double a) => null; /// 33: continued
+}
+
+main() {
+  new SubClass();
+}