| // Copyright (c) 2019, 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. |
| |
| // Tests that non-deferred type literals are constant expressions. |
| |
| import "dart:core"; |
| import "dart:core" as core; |
| // No reloading support for deferred loading. |
| // See https://github.com/dart-lang/sdk/issues/33118. |
| import "dart:core" deferred as dcore show int //# 01: compile-time error |
| |
| // Declares F function type alias, M mixin and C class. |
| import "constant_type_literal_types.dart"; |
| import "constant_type_literal_types.dart" as p; |
| // No reloading support for deferred loading. |
| // See https://github.com/dart-lang/sdk/issues/33118. |
| import "constant_type_literal_types.dart" //# 02: compile-time error |
| deferred as d; //# 02: continued |
| |
| main() { |
| const Test(int, core.int); |
| const Test(C, p.C); |
| const Test(M, p.M); |
| const Test(F, p.F); |
| const c1 = // |
| dcore. //# 01: continued |
| int; |
| const Test(c1, int); |
| const c2 = // |
| d. //# 02: continued |
| C; |
| const Test(c2, C); |
| } |
| |
| class Test { |
| const Test(Type t1, Type t2) : assert(identical(t1, t2)); |
| } |