library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:13:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class B<T> extends A<Function(T)> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:15:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Bc<T> extends A<ContravariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:17:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Bi<T> extends A<InvariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:19:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class C<T> implements A<Function(T)> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:21:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Cc<T> implements A<ContravariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:23:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Ci<T> implements A<InvariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:25:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class D<T> = Object with A<Function(T)>;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:27:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Dc<T> = Object with A<ContravariantUse<T>>;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:29:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Di<T> = Object with A<InvariantUse<T>>;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:31:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class E<T> = A<Function(T)> with Empty;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:33:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Ec<T> = A<ContravariantUse<T>> with Empty;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:35:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Ei<T> = A<InvariantUse<T>> with Empty;
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:37:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class F<T> extends Object with A<Function(T)> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:39:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Fc<T> extends Object with A<ContravariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:41:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Fi<T> extends Object with A<InvariantUse<T>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:43:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class G<T> extends A<Function(T)> with Empty {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:45:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Gc<T> extends A<ContravariantUse<T>> with Empty {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:47:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Gi<T> extends A<InvariantUse<T>> with Empty {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:57:7: Error: Can't use implicitly 'out' variable 'T' in an 'inout' position in supertype 'A'.
// class Hii<T> extends A<InvariantUse<InvariantUse<T>>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:71:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jfff<T> extends A<Function(Function(Function(T)))> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:73:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jffc<T> extends A<Function(Function(ContravariantUse<T>))> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:75:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jfcf<T> extends A<Function(ContravariantUse<Function(T)>)> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:77:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jfcc<T> extends A<Function(ContravariantUse<ContravariantUse<T>>)> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:79:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jcff<T> extends A<ContravariantUse<Function(Function(T))>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:81:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jcfc<T> extends A<ContravariantUse<Function(ContravariantUse<T>)>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:83:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jccf<T> extends A<ContravariantUse<ContravariantUse<Function(T)>>> {}
//       ^
//
// pkg/front_end/testcases/general/bad_type_variable_uses_in_supertypes.dart:85:7: Error: Can't use implicitly 'out' variable 'T' in an 'in' position in supertype 'A'.
// class Jccc<T>
//       ^
//
import self as self;
import "dart:core" as core;

typedef ContravariantUse<contravariant T extends core::Object* = dynamic> = (T*) →* dynamic;
typedef InvariantUse<invariant T extends core::Object* = dynamic> = (T*) →* T*;
class Empty extends core::Object {
  synthetic constructor •() → self::Empty*
    ;
}
class A<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::T*>*
    ;
}
class B<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::B<self::B::T*>*
    ;
}
class Bc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Bc<self::Bc::T*>*
    ;
}
class Bi<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Bi<self::Bi::T*>*
    ;
}
class C<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::C<self::C::T*>*
    ;
}
class Cc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Cc<self::Cc::T*>*
    ;
}
class Ci<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Ci<self::Ci::T*>*
    ;
}
class D<T extends core::Object* = dynamic> extends core::Object /*hasConstConstructor*/  {
  const synthetic constructor •() → self::D<self::D::T*>*
    : super core::Object::•()
    ;
}
class Dc<T extends core::Object* = dynamic> extends core::Object /*hasConstConstructor*/  {
  const synthetic constructor •() → self::Dc<self::Dc::T*>*
    : super core::Object::•()
    ;
}
class Di<T extends core::Object* = dynamic> extends core::Object /*hasConstConstructor*/  {
  const synthetic constructor •() → self::Di<self::Di::T*>*
    : super core::Object::•()
    ;
}
class E<T extends core::Object* = dynamic> = core::Object with self::Empty {
  synthetic constructor •() → self::E<self::E::T*>*
    ;
}
class Ec<T extends core::Object* = dynamic> = core::Object with self::Empty {
  synthetic constructor •() → self::Ec<self::Ec::T*>*
    ;
}
class Ei<T extends core::Object* = dynamic> = core::Object with self::Empty {
  synthetic constructor •() → self::Ei<self::Ei::T*>*
    ;
}
abstract class _F&Object&A<T extends core::Object* = dynamic> extends core::Object /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_F&Object&A<self::_F&Object&A::T*>*
    : super core::Object::•()
    ;
}
class F<T extends core::Object* = dynamic> extends self::_F&Object&A<self::F::T*> {
  synthetic constructor •() → self::F<self::F::T*>*
    ;
}
abstract class _Fc&Object&A<T extends core::Object* = dynamic> extends core::Object /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_Fc&Object&A<self::_Fc&Object&A::T*>*
    : super core::Object::•()
    ;
}
class Fc<T extends core::Object* = dynamic> extends self::_Fc&Object&A<self::Fc::T*> {
  synthetic constructor •() → self::Fc<self::Fc::T*>*
    ;
}
abstract class _Fi&Object&A<T extends core::Object* = dynamic> extends core::Object /*isAnonymousMixin,hasConstConstructor*/  {
  const synthetic constructor •() → self::_Fi&Object&A<self::_Fi&Object&A::T*>*
    : super core::Object::•()
    ;
}
class Fi<T extends core::Object* = dynamic> extends self::_Fi&Object&A<self::Fi::T*> {
  synthetic constructor •() → self::Fi<self::Fi::T*>*
    ;
}
abstract class _G&A&Empty<T extends core::Object* = dynamic> = core::Object with self::Empty /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_G&A&Empty<self::_G&A&Empty::T*>*
    ;
}
class G<T extends core::Object* = dynamic> extends self::_G&A&Empty<self::G::T*> {
  synthetic constructor •() → self::G<self::G::T*>*
    ;
}
abstract class _Gc&A&Empty<T extends core::Object* = dynamic> = core::Object with self::Empty /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_Gc&A&Empty<self::_Gc&A&Empty::T*>*
    ;
}
class Gc<T extends core::Object* = dynamic> extends self::_Gc&A&Empty<self::Gc::T*> {
  synthetic constructor •() → self::Gc<self::Gc::T*>*
    ;
}
abstract class _Gi&A&Empty<T extends core::Object* = dynamic> = core::Object with self::Empty /*isAnonymousMixin*/  {
  synthetic constructor •() → self::_Gi&A&Empty<self::_Gi&A&Empty::T*>*
    ;
}
class Gi<T extends core::Object* = dynamic> extends self::_Gi&A&Empty<self::Gi::T*> {
  synthetic constructor •() → self::Gi<self::Gi::T*>*
    ;
}
class Hff<T extends core::Object* = dynamic> extends self::A<((self::Hff::T*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Hff<self::Hff::T*>*
    ;
}
class Hfc<T extends core::Object* = dynamic> extends self::A<((self::Hfc::T*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Hfc<self::Hfc::T*>*
    ;
}
class Hcf<T extends core::Object* = dynamic> extends self::A<((self::Hcf::T*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Hcf<self::Hcf::T*>*
    ;
}
class Hcc<T extends core::Object* = dynamic> extends self::A<((self::Hcc::T*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Hcc<self::Hcc::T*>*
    ;
}
class Hii<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Hii<self::Hii::T*>*
    ;
}
class Iafc<T extends core::Object* = dynamic> extends self::A<self::A<((self::Iafc::T*) →* dynamic) →* dynamic>*> {
  synthetic constructor •() → self::Iafc<self::Iafc::T*>*
    ;
}
class Iacf<T extends core::Object* = dynamic> extends self::A<self::A<((self::Iacf::T*) →* dynamic) →* dynamic>*> {
  synthetic constructor •() → self::Iacf<self::Iacf::T*>*
    ;
}
class Ifac<T extends core::Object* = dynamic> extends self::A<(self::A<(self::Ifac::T*) →* dynamic>*) →* dynamic> {
  synthetic constructor •() → self::Ifac<self::Ifac::T*>*
    ;
}
class Ifca<T extends core::Object* = dynamic> extends self::A<((self::A<self::Ifca::T*>*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Ifca<self::Ifca::T*>*
    ;
}
class Icaf<T extends core::Object* = dynamic> extends self::A<(self::A<(self::Icaf::T*) →* dynamic>*) →* dynamic> {
  synthetic constructor •() → self::Icaf<self::Icaf::T*>*
    ;
}
class Icfa<T extends core::Object* = dynamic> extends self::A<((self::A<self::Icfa::T*>*) →* dynamic) →* dynamic> {
  synthetic constructor •() → self::Icfa<self::Icfa::T*>*
    ;
}
class Jfff<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jfff<self::Jfff::T*>*
    ;
}
class Jffc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jffc<self::Jffc::T*>*
    ;
}
class Jfcf<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jfcf<self::Jfcf::T*>*
    ;
}
class Jfcc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jfcc<self::Jfcc::T*>*
    ;
}
class Jcff<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jcff<self::Jcff::T*>*
    ;
}
class Jcfc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jcfc<self::Jcfc::T*>*
    ;
}
class Jccf<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jccf<self::Jccf::T*>*
    ;
}
class Jccc<T extends core::Object* = dynamic> extends core::Object {
  synthetic constructor •() → self::Jccc<self::Jccc::T*>*
    ;
}
static method main() → dynamic
  ;