Perform override and inheritance checks.

tests/language/override_inheritance_mixed_test.dart

Index: tests/language/override_inheritance_mixed_test.dart
diff --git a/tests/language/override_inheritance_mixed_test.dart b/tests/language/override_inheritance_mixed_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..e2da570ef5c2ede0fa2b46a038c9f6cc874aa132
--- /dev/null
+++ b/tests/language/override_inheritance_mixed_test.dart
@@ -0,0 +1,44 @@
+// 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.
+
+class A {
+  var member1; /// 01: compile-time error
+  member2() {} /// 02: compile-time error
+  get member3 => null; /// 03: compile-time error
+  member4() {} /// 04: compile-time error
+}
+
+abstract class B extends A implements I, J {

[karlklose, 2014/01/28 12:27:45]

Move class after I and J?

[Johnni Winther, 2014/01/31 12:29:30]

Done.

+

[karlklose, 2014/01/28 12:27:45]

Remove empty line.

[Johnni Winther, 2014/01/31 12:29:30]

Done.

+}
+
+abstract class I {
+  var member5; /// 05: ok
+  var member6; /// 06: static type warning
+  get member7; /// 07: static type warning
+  get member8; /// 08: compile-time error
+  get member9; /// 09: compile-time error
+}
+
+abstract class J {
+  get member5; /// 05: continued
+  member6() {} /// 06: continued
+  member7() {} /// 07: continued
+  member8() {} /// 08: continued
+  member9() {} /// 09: continued
+}
+
+class Class extends B {
+  member1() {} /// 01: continued
+  var member2; /// 02: continued
+  member3() {} /// 03: continued
+  get member4 => null; /// 04: continued
+  var member5; /// 05: continued
+  member8() {} /// 08: continued
+  get member9 => null; /// 09: continued
+}
+
+main() {
+  new Class();
+}