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.

// @dart = 2.9

/// @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.
/// @author kaigorodov
/// @reviewer rodionov


abstract class I extends A {
  factory I.foo() {return super.make();}
//                        ^
// [analyzer] unspecified
// [cfe] unspecified
}

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

class C implements I {
//    ^
// [analyzer] unspecified
// [cfe] unspecified
  C() {}
}

main() {
  try {
    new I.foo();
  } catch (x) {}
}