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

class I<X> {}

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

class M1 implements I<int> {}

class A extends M1 with M0 {}

main() {}