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

class A extends Object with M0, M1 {}

class I<X, Y> {}

class M0<T> implements I<T, List<T>> {}

class M1<T> implements I<List<T>, T> {}

main() {}