Check implicit super call in synthetic constructor.

tests/language/constructor10_test.dart

Index: tests/language/constructor10_test.dart
diff --git a/tests/language/constructor10_test.dart b/tests/language/constructor10_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..f4923b7887ca1a647d846c7d7a6d83f94057b481
--- /dev/null
+++ b/tests/language/constructor10_test.dart
@@ -0,0 +1,46 @@
+// 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 Y extends A {
+  /*  /// 01: compile-time error
+  Y() : super(null);
+  */  /// 01: continued
+}
+
+class Z extends Y {
+  Z() : super();
+}
+
+// ==============
+
+class G extends A {
+  /*  /// 02: compile-time error
+  G() : super(null);
+  */  /// 02: continued
+}
+
+class H extends G {
+}
+
+main() {
+  new B().x;
+  new Z().x;
+  new H().x;
+}