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

// @dart = 2.9
class I<X> {}

class J<X> {}

mixin M0<X, Y> on I<X>, J<Y> {}

class M1 implements I<int> {}

class M2 extends M1 implements J<double> {}

class A extends M2 with M0 {}

main() {}