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

class A {}

class B {}

class C extends B implements A {}

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