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

class A<X extends int> {}

class B {
  A<num> fieldOfA;
  static A<num> staticFieldOfA;
}

extension E<X extends A<num>> on A {
  A<num> fooOfE() => null;
  static A<num> fieldOfE;
  void barOfE(A<num> a) {}
  void bazOfE<Y extends A<num>>() {}
}

main() {}