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

baz() {}

class A<X> {
  bar<Y extends X>() => throw '';
}

class B {
  static A<Y> foo<Y extends Object>() => throw '';
}

main() {}