Language/Expressions/Method_Invocation/Super_Invocation/invocation_t07.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 It is a compile-time error if a super method invocation occurs in
/// a top-level function or variable initializer, in an instance variable
/// initializer or initializer list, in class Object, in a factory constructor
/// or in a static method or variable initializer.
/// @description Checks that it is a compile-time error if a super method
/// invocation occurs in a factory constructor.
/// @compile-error
/// @author kaigorodov


abstract class I extends A {
  factory I.foo() { return super.make(); }
}

class A {
   C make() { return new C(); }
}

class C implements I {
  C() {}
}

main() {
  new I.foo();
}