// Copyright (c) 2011, 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.

/**
 * @assertion Let C be the class in which the superinitializer super()
 * (respectively, super.id()) appears and let S be the superclass of C. It is
 * a compile-time error if class S does not declare a generative constructor
 * named S (respectively S.id)
 * @description Checks that it is a compile-time error when the superclass S
 * does not declare any constructors named S and its subclass's constructor
 * contains an implicit super() superinitializer.
 * @compile-error
 * @author iefremov
 */

class S {
  S.smth() {}
}

class C extends S {
}

main() {
  new C();
}