Language/Classes/Constructors/Generative_Constructors/superclass_constructor_t05.dart

// 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
/// declares a factory constructor named S and its subclass's constructor
/// contains an explicit super() superinitializer.
/// @author rodionov


class S {
  factory S() {return new S.ctor();}
  S.ctor() {}
}

class C extends S {
  C() : super() {}
//      ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  new C();
}