| // 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 An expression is constant if it is an explicit generic type |
| /// instantiation of a constant function object where the type argument is |
| /// constant |
| /// |
| /// @description Check that an expression is constant if it is an explicit |
| /// generic type instantiation of a constant function object where the type |
| /// argument is constant |
| /// @author sgrekhov@unipro.ru |
| |
| // SharedOptions=--enable-experiment=constructor-tearoffs |
| |
| class C { |
| const C(); |
| void foo<X>(X x) {} |
| } |
| |
| void main() { |
| const c = const C(); |
| const c1 = c.foo<int>; |
| // ^^^^^^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| } |
