/*
 * 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 iarkh@unipro.ru
 */
// 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);
}