pkg/front_end/testcases/nnbd/intersection_types.dart.textual_outline_modelled.expect

class A {}

class B extends A {}

class C extends B {}

class Foo<T extends A?> {
  doPromotionsToNonNullable(T t) {}
  doPromotionsToNullable(T t) {}
}

main() {}