pkg/front_end/testcases/inference/mixin_inference_multiple_constraints.dart.textual_outline.expect

class I<X> {}

class J<X> {}

class M0<X, Y> extends I<X> with J<Y> {}

class M1 implements I<int> {}

class M2 extends M1 implements J<double> {}

class A extends M2 with M0 {}

main() {}