pkg/front_end/testcases/general/extend_with_type_variable.dart.textual_outline_modelled.expect

class Class1<T, S extends SuperClass> extends S with Mixin<T> {}

class Class2<T, M extends Mixin<T>> extends SuperClass with M {}

class SuperClass {}

main() {}
mixin Mixin<T> {}