| // 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.9 |
| |
| // Verifies that mixin supertypes are properly maintained even if marked as |
| // deferred (e.g., in a circular hierarchy). |
| // Regression test for: https://github.com/flutter/flutter/issues/66859 |
| |
| import "package:expect/expect.dart"; |
| |
| mixin X {} |
| mixin Y {} |
| mixin Z {} |
| |
| class A extends B<C> with X {} |
| |
| class C extends A with Z {} |
| |
| class B<T> extends Object with Y {} |
| |
| main() { |
| var a = A(); |
| var b = B(); |
| var c = C(); |
| Expect.isTrue(a is A); |
| Expect.isTrue(a is B<C>); |
| Expect.isTrue(a is X); |
| Expect.isTrue(a is Y); |
| Expect.isTrue(c is C); |
| Expect.isTrue(c is A); |
| Expect.isTrue(c is B<C>); |
| Expect.isTrue(c is X); |
| Expect.isTrue(c is Y); |
| Expect.isTrue(c is Z); |
| Expect.isTrue(b is B); |
| Expect.isTrue(b is Y); |
| } |