| // 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 An expression of the form [e is T] is potentially constant if [e]
|
| * is a potentially constant expression and [T] is a constant type expression,
|
| * and it is further constant if [e] is constant.
|
| * @description Checks that a type test expression can be used to initialize a
|
| * constant variable.
|
| * @author iefremov
|
| */
|
|
|
| import "../../../Utils/expect.dart";
|
|
|
| const m1 = null is Object;
|
| const m2 = "testme" is String;
|
| const m3 = "testme" is int;
|
|
|
| main() {
|
| Expect.isFalse(m1);
|
| Expect.isTrue(m2);
|
| Expect.isFalse(m3);
|
| }
|
