| // 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 named constructor tear-off expression of one of the forms above |
| /// evaluates to a function value which could be created by tearing off a |
| /// corresponding constructor function, which would be a static function defined |
| /// on the class denoted by [C], with a fresh name here represented by adding |
| /// [$tearoff]: |
| /// |
| /// static C name$tearoff<typeParams>(params) => C<typeArgs>.name(args); |
| /// |
| /// @description Checks constructor tear-off expression for generic class. |
| /// @author iarkh@unipro.ru |
| |
| // SharedOptions=--enable-experiment=constructor-tearoffs |
| |
| import "../../Utils/expect.dart"; |
| |
| class C<T> { |
| C() {} |
| C.constr(T t) {} |
| } |
| |
| main() { |
| Expect.isTrue(C.constr is C Function<X extends dynamic>(X)); |
| Expect.isTrue(C.new is C Function<X extends dynamic>()); |
| |
| Expect.isTrue(C<int>.constr is C Function<X extends int>(X)); |
| Expect.isTrue(C<int>.new is C Function<X extends int>()); |
| |
| Expect.isTrue(C.constr<int> is C Function<T extends int>(T)); |
| Expect.isTrue(C.new<int> is C Function<T extends int>()); |
| } |