blob: 713362b849d9e5596a74a9a39e28ae09e08b99a7 [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(1, cl.res);
const MyClass cl1 = MyClass<int>(99);
Expect.equals(0, cl1.res);