library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/general/bounds_type_literals.dart:22:3: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'.
//  - 'Object' is from 'dart:core'.
//  - 'Class' is from 'pkg/front_end/testcases/general/bounds_type_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   F<Object>; // Error
//   ^
// pkg/front_end/testcases/general/bounds_type_literals.dart:9:11: Context: This is the type variable whose bound isn't conformed to.
// typedef F<X extends Class<X>> = X;
//           ^
//
// pkg/front_end/testcases/general/bounds_type_literals.dart:23:3: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'F'.
//  - 'Class' is from 'pkg/front_end/testcases/general/bounds_type_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   F<int>; // Error
//   ^
// pkg/front_end/testcases/general/bounds_type_literals.dart:9:11: Context: This is the type variable whose bound isn't conformed to.
// typedef F<X extends Class<X>> = X;
//           ^
//
// pkg/front_end/testcases/general/bounds_type_literals.dart:30:3: Error: Type argument 'Object' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'.
//  - 'Object' is from 'dart:core'.
//  - 'Class' is from 'pkg/front_end/testcases/general/bounds_type_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   G<Object>; // Error
//   ^
// pkg/front_end/testcases/general/bounds_type_literals.dart:11:9: Context: This is the type variable whose bound isn't conformed to.
// class G<X extends Class<X>> {}
//         ^
//
// pkg/front_end/testcases/general/bounds_type_literals.dart:31:3: Error: Type argument 'int' doesn't conform to the bound 'Class<X>' of the type variable 'X' on 'G'.
//  - 'Class' is from 'pkg/front_end/testcases/general/bounds_type_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   G<int>; // Error
//   ^
// pkg/front_end/testcases/general/bounds_type_literals.dart:11:9: Context: This is the type variable whose bound isn't conformed to.
// class G<X extends Class<X>> {}
//         ^
//
import self as self;
import "dart:core" as core;

typedef F<X extends self::Class<X> = self::Class<dynamic>> = X;
class Class<T extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::Class<self::Class::T%>
    : super core::Object::•()
    ;
}
class ConcreteClass extends core::Object implements self::Class<self::ConcreteClass> {
  synthetic constructor •() → self::ConcreteClass
    : super core::Object::•()
    ;
}
class G<X extends self::Class<self::G::X> = self::Class<dynamic>> extends core::Object {
  synthetic constructor •() → self::G<self::G::X>
    : super core::Object::•()
    ;
}
class Class1 extends core::Object {
  synthetic constructor •() → self::Class1
    : super core::Object::•()
    ;
}
static method test() → dynamic {
  #C1;
  #C2;
  #C1;
  #C1;
  #C3;
  #C4;
  #C5;
  #C6;
  #C7;
  #C8;
  #C7;
  #C7;
  #C9;
  #C10;
  #C11;
  #C12;
}
static method main() → dynamic {}

constants  {
  #C1 = TypeLiteralConstant(self::Class<dynamic>*)
  #C2 = TypeLiteralConstant(dynamic)
  #C3 = TypeLiteralConstant(self::ConcreteClass*)
  #C4 = TypeLiteralConstant(self::Class<self::ConcreteClass*>*)
  #C5 = TypeLiteralConstant(core::Object*)
  #C6 = TypeLiteralConstant(core::int*)
  #C7 = TypeLiteralConstant(self::G<self::Class<dynamic>*>*)
  #C8 = TypeLiteralConstant(self::G<dynamic>*)
  #C9 = TypeLiteralConstant(self::G<self::ConcreteClass*>*)
  #C10 = TypeLiteralConstant(self::G<self::Class<self::ConcreteClass*>*>*)
  #C11 = TypeLiteralConstant(self::G<core::Object*>*)
  #C12 = TypeLiteralConstant(self::G<core::int*>*)
}