// 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(0, cl.res);

  const MyClass cl1 = MyClass<int>(99);
  Expect.equals(1, cl1.res);
}