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

class I<X, Y> {}

mixin M0<T> implements I<T, int> {}

mixin M1<T> implements I<String, T> {}

class A extends Object with M0, M1 {}

main() {}