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

class A extends M1 with M0 {}

class I<X> {}

class M1 implements I<int> {}

main() {}

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