| // 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 A constant expression is an expression whose value can never |
| /// change, and that can be evaluated entirely at compile time. |
| /// A constant expression is one of the following: |
| /// . . . |
| /// • An identifier expression that denotes a constant variable. |
| /// • A simple or qualified identifier denoting a class or a type alias that is |
| /// not qualified by a deferred prefix. |
| /// @description Checks that an identifier expression that denotes a type alias |
| /// can be assigned to a constant variable. |
| /// @author ilya |
| |
| |
| import '../../../Utils/expect.dart'; |
| |
| typedef int F(int); |
| typedef T FF<T>(T); |
| |
| const a = F; |
| const b = FF; |
| |
| main() { |
| Expect.isTrue(a is Type); |
| Expect.isTrue(b is Type); |
| } |