// 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.

// @dart = 2.7

/*class: A:
 class_unit=1{lib},
 type_unit=1{lib}
*/
/*member: A.:member_unit=1{lib}*/
class A {}

/*class: I:
 class_unit=none,
 type_unit=1{lib}
*/
class I<T> {}

/*class: J:
 class_unit=1{lib},
 type_unit=1{lib}
*/
/*member: J.:member_unit=1{lib}*/
class J<T> {}

// C needs to include "N", otherwise checking for `is I<A>` will likely cause
// problems
/*class: C:
 class_unit=1{lib},
 type_unit=1{lib}
*/
/*member: C.:member_unit=1{lib}*/
class C extends A implements I<N> {}

/*class: C1:
 class_unit=1{lib},
 type_unit=1{lib}
*/
/*member: C1.:member_unit=1{lib}*/
class C1 extends J<M> implements A {}

/*class: C2:
 class_unit=1{lib},
 type_unit=1{lib}
*/
/*member: C2.:member_unit=1{lib}*/
class C2 extends J<M> implements I<N> {}

/*class: N:
 class_unit=none,
 type_unit=1{lib}
*/
class N extends A {}

/*class: M:
 class_unit=none,
 type_unit=1{lib}
*/
class M extends A {}

/*member: doCheck1:member_unit=1{lib}*/
doCheck1(x) => x is I<A>;
/*member: doCheck2:member_unit=1{lib}*/
doCheck2(x) => x is J<A>;