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

List<A> list;
List<S> f<S>(S s) {}
List<T> g<T extends A>(T t) {}

class A {}

class B {}

class C extends B implements A {}

main() {}