blob: 57b30b36ed853485644bb984e1af282fd4c56bba [file] [log] [blame]
// Copyright (c) 2018, 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
// Derived from language_2/mixin_declaration/mixin_declaration_subtype_test.
import "package:expect/expect.dart";
// A mixin declaration introduces a type.
// A mixin with multiple super-types and implemented types.
/*class: A:checkedInstance,typeArgument*/
class A {}
/*class: B:checkedInstance,typeArgument*/
class B {}
/*class: I:checkedInstance,typeArgument*/
class I {}
/*class: J:checkedInstance,typeArgument*/
class J {}
/*class: M1:checkedInstance,typeArgument*/
mixin M1 on A, B implements I, J {}
/*class: M2:checkedInstance,checks=[$isA,$isB,$isI,$isJ],typeArgument*/
class M2 implements A, B, I, J {}
/*class: M3:checkedInstance,checks=[$isA,$isB,$isI,$isJ],instance,typeArgument*/
class M3 implements A, B, I, J {}
/*class: M4:checkedInstance,checks=[$isA,$isB,$isI,$isJ],typeArgument*/
class M4 implements A, B, I, J {}
/*class: M5:checkedInstance,checks=[$isA,$isB,$isI,$isJ],typeArgument*/
class M5 implements A, B, I, J {}
/*class: C:checkedInstance,checks=[$isA,$isB],indirectInstance,typeArgument*/
class C implements A, B {}
/*class: D1:checkedInstance,typeArgument*/
class D1 = C with M1;
/*class: D2:checkedInstance,checks=[$isI,$isJ],instance,typeArgument*/
class D2 = C with M2;
/*class: D3:checkedInstance,typeArgument*/
class D3 = C with M3;
/*class: D4:checkedInstance,checks=[$isI,$isJ],instance,typeArgument*/
class D4 extends C with M4 {}
/*class: D5:checkedInstance,checks=[$isI,$isJ],indirectInstance,typeArgument*/
class D5 extends C with M5 {}
/*class: E5:checkedInstance,checks=[],instance,typeArgument*/
class E5 extends D5 {}
// Same, with generics.
/*class: GA:checkedInstance,typeArgument*/
class GA<T> {}
/*class: GB:checkedInstance,typeArgument*/
class GB<T> {}
/*class: GI:checkedInstance,typeArgument*/
class GI<T> {}
/*class: GJ:checkedInstance,typeArgument*/
class GJ<T> {}
/*class: GM:checkedInstance,typeArgument*/
mixin GM<T> on GA<T>, GB<List<T>> implements GI<Iterable<T>>, GJ<Set<T>> {}
/*class: GC:checkedInstance,typeArgument*/
class GC<T> implements GA<T>, GB<List<T>> {}
/*class: GD:checkedInstance,typeArgument*/
class GD<T> = GC<T> with GM<T>;
test(o) {}
main() {
test(new M3());
test(new D2());
test(new D4());
test(new E5());
Expect.subtype<M1, A>();
Expect.subtype<M1, B>();
Expect.subtype<M1, I>();
Expect.subtype<M1, J>();
Expect.subtype<D1, M1>();
Expect.subtype<D2, M2>();
Expect.subtype<D3, M3>();
Expect.subtype<D4, M4>();
Expect.subtype<D5, M5>();
Expect.subtype<E5, M5>();
Expect.notSubtype<M1, C>();
Expect.notSubtype<C, M1>();
Expect.subtype<GM<int>, GA<int>>();
Expect.subtype<GM<int>, GB<List<int>>>();
Expect.subtype<GM<int>, GI<Iterable<int>>>();
Expect.subtype<GM<int>, GJ<Set<int>>>();
Expect.subtype<GD<int>, GM<int>>();
Expect.subtype<GD<int>, GC<int>>();
Expect.notSubtype<GM<int>, GC<int>>();
Expect.notSubtype<GC<int>, GM<int>>();