| // Copyright (c) 2020, 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 as T' is potentially constant if e is |
| * a potentially constant expression and T is a potentially constant type |
| * expression, and it is further constant if e is constant |
| * @description Checks that an expression of the form [e is T] is accepted if |
| * [T] is a potential constant type. |
| * @author iarkh@unipro.ru |
| */ |
| // Requirements=nnbd-weak |
| |
| import "../../../../Utils/expect.dart"; |
| |
| class MyClass<E> { |
| final int res; |
| const MyClass(Object o) : res = o is E ? 0 : 1; |
| } |
| |
| main() { |
| const MyClass cl = MyClass<int>("testme"); |
| Expect.equals(1, cl.res); |
| |
| const MyClass cl1 = MyClass<int>(99); |
| Expect.equals(0, cl1.res); |
| } |
