LanguageFeatures/Constructor-tear-offs/unnamed_constructor_A07_t04.dart

// 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 If [C] denotes a class, an expression of [C] by itself already
/// has a meaning, it evaluates to a [Type] object representing the class, so it
/// cannot also denote the unnamed constructor.
///
/// @description Checks that unnamed constructor tear off can be used in a
/// factory constructor. Test generic classes
///
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=constructor-tearoffs
import "../../Utils/expect.dart";

class D<T> extends C<T> {
  D() : super.new();
}

var Dnew = D.new;

class C<T> {
  C(T t);
  factory C.f1(T t) = C.new;
  factory C.f2(T t) = Dnew<T>;
}

main() {
  Expect.isFalse(C<int>.f1(42) is D<int>);
  Expect.isTrue(C<String>.f2("Lily was here") is D);
}