Language/Expressions/Constants/identifier_denotes_a_constant_t04.dart

// 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.

/// @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);
  Expect.runtimeIsType<Type>(a);
  Expect.runtimeIsType<Type>(b);
}