Check implicit super call in synthetic constructor.

tests/language/constructor10_test.dart

+// Copyright (c) 2014, 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.
+
+// Check that the implicit super call for synthetic constructors are checked.
+
+
+class A {
+  final x;
+  A(this.x);
+}
+
+class B extends A {
+  /*  /// 00: compile-time error
+  B() : super(null);
+  */  /// 00: continued
+}
+
+// ==========
+
+class X {
+  final x;
+  X(this.x);
+}
+
+class Y extends X {

[karlklose, 2014/02/12 12:51:58]

Why not use A instead of X (and F, in the third part)?

[floitsch, 2014/02/12 14:04:52]

Done.

+  /*  /// 01: compile-time error
+  Y() : super(null);
+  */  /// 01: continued
+}
+
+class Z extends Y {
+  Z() : super();
+}
+
+// ==============
+
+class F {
+  final x;
+  F(this.x);
+}
+
+class G extends F {
+  /*  /// 02: compile-time error
+  G() : super(null);
+  */  /// 02: continued
+}
+
+class H extends G {
+}
+
+main() {
+  new B().x;
+  new Z().x;
+  new H().x;
+}