// Copyright (c) 2021, 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 A compile-time error occurs if a constructor tear-off denotes a
/// generative constructor declared in an abstract class.
///
/// @description Checks that it is no error to tear off a factory
/// constructor declared in an abstract class
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=constructor-tearoffs

import "../../Utils/expect.dart";

abstract class A<T> {
  A() {}
  factory A.f() = C;
}

class C<T> extends A<T> {
  C() : super() {}
}

main() {
  var c = A<int>.f;
  var x = c();
  Expect.isTrue(x is C<int>);
  Expect.isFalse(x is A<String>); // to check that x is not C<dynamic>
}