blob: 579a9e4ce7bb0458b5c31bef9876ce312081d4c4 [file] [log] [blame]
// 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.
/// @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
// Requirements=nnbd-strong
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(0, cl.res);
const MyClass cl1 = MyClass<int>(99);
Expect.equals(1, cl1.res);