part 'check_bounds_lib.dart';

class A {}

class B extends A {}

class Class<T extends A> {}

extension Extension<T extends B> on Class<T> {
  method() {}
  genericMethod<S extends B>(S s) {}
}

main() {}
test(A a) {}
final A a = new A();
final Class<A> classA = new Class<A>();
final Class<B> classB = new Class<B>();
final field1 = classA.method();
final field2 = Extension(classA).method();
final field3 = Extension<A>(classA).method();
final field4 = Extension<B>(classA).method();
final field5 = Extension(classA).genericMethod(a);
final field6 = Extension(classA).genericMethod<A>(a);
final field7 = Extension(classA).genericMethod<B>(a);
final field8 = Extension<A>(classA).genericMethod(a);
final field9 = Extension<A>(classA).genericMethod<A>(a);
final field10 = Extension<A>(classA).genericMethod<B>(a);
final field11 = Extension<B>(classB).genericMethod(a);
final field12 = Extension<B>(classB).genericMethod<A>(a);
final field13 = Extension<B>(classB).genericMethod<B>(a);
final field14 = classB.method();
final field15 = Extension(classB).method();
final field16 = Extension<A>(classB).method();
final field17 = Extension<B>(classB).method();
final field18 = classB.genericMethod(a);
final field19 = classB.genericMethod<A>(a);
final field20 = classB.genericMethod<B>(a);
final field21 = Extension(classB).genericMethod(a);
final field22 = Extension(classB).genericMethod<A>(a);
final field23 = Extension(classB).genericMethod<B>(a);
final field24 = Extension<A>(classB).genericMethod(a);
final field25 = Extension<A>(classB).genericMethod<A>(a);
final field26 = Extension<A>(classB).genericMethod<B>(a);
final field27 = Extension<B>(classB).genericMethod(a);
final field28 = Extension<B>(classB).genericMethod<A>(a);
final field29 = Extension<B>(classB).genericMethod<B>(a);