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

class A extends M2<int> with M0 {}

class I<X> {}

class M1<T> extends I<List<T>> {}

class M2<T> extends M1<Map<T, T>> {}

main() {}

mixin class M0<T> extends I<List<T>> {}