pkg/front_end/testcases/general/bounds_literals.dart.strong.transformed.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/bounds_literals.dart:17:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<Object>, F<int>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:17:15: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<Object>, F<int>>{}; // Error
//               ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:21:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<Object>, G<int>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:21:15: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<Object>, G<int>>{}; // Error
//               ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:27:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<Object>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:28:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<int>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:37:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<Object>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:38:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<int>>{}; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:46:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<Object>>[]; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:47:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <F<int>>[]; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:54:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<Object>>[]; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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_literals.dart:55:4: 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_literals.dart'.
// Try changing type arguments so that they conform to the bounds.
//   <G<int>>[]; // Error
//    ^
// pkg/front_end/testcases/general/bounds_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;
import "dart:_compact_hash" as _co;

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::•()
    ;
}
static method test() → dynamic {
  <self::Class<dynamic>, dynamic>{};
  <self::Class<dynamic>, self::Class<dynamic>>{};
  <self::ConcreteClass, self::Class<self::ConcreteClass>>{};
  <core::Object, core::int>{};
  <self::G<self::Class<dynamic>>, self::G<self::Class<dynamic>>>{};
  <self::G<self::Class<dynamic>>, self::G<self::Class<dynamic>>>{};
  <self::G<self::ConcreteClass>, self::G<self::Class<self::ConcreteClass>>>{};
  <self::G<core::Object>, self::G<core::int>>{};
  {
    final core::Set<self::Class<dynamic>> #t1 = new _co::_Set::•<self::Class<dynamic>>();
  }
  {
    final core::Set<dynamic> #t2 = new _co::_Set::•<dynamic>();
  }
  {
    final core::Set<self::Class<dynamic>> #t3 = new _co::_Set::•<self::Class<dynamic>>();
  }
  {
    final core::Set<self::Class<dynamic>> #t4 = new _co::_Set::•<self::Class<dynamic>>();
  }
  {
    final core::Set<core::Object> #t5 = new _co::_Set::•<core::Object>();
  }
  {
    final core::Set<core::int> #t6 = new _co::_Set::•<core::int>();
  }
  {
    final core::Set<self::ConcreteClass> #t7 = new _co::_Set::•<self::ConcreteClass>();
  }
  {
    final core::Set<self::Class<self::ConcreteClass>> #t8 = new _co::_Set::•<self::Class<self::ConcreteClass>>();
  }
  {
    final core::Set<self::G<self::Class<dynamic>>> #t9 = new _co::_Set::•<self::G<self::Class<dynamic>>>();
  }
  {
    final core::Set<self::G<self::Class<dynamic>>> #t10 = new _co::_Set::•<self::G<self::Class<dynamic>>>();
  }
  {
    final core::Set<self::G<self::Class<dynamic>>> #t11 = new _co::_Set::•<self::G<self::Class<dynamic>>>();
  }
  {
    final core::Set<self::G<self::Class<dynamic>>> #t12 = new _co::_Set::•<self::G<self::Class<dynamic>>>();
  }
  {
    final core::Set<self::G<self::ConcreteClass>> #t13 = new _co::_Set::•<self::G<self::ConcreteClass>>();
  }
  {
    final core::Set<self::G<self::Class<self::ConcreteClass>>> #t14 = new _co::_Set::•<self::G<self::Class<self::ConcreteClass>>>();
  }
  {
    final core::Set<self::G<core::Object>> #t15 = new _co::_Set::•<self::G<core::Object>>();
  }
  {
    final core::Set<self::G<core::int>> #t16 = new _co::_Set::•<self::G<core::int>>();
  }
  core::_GrowableList::•<self::Class<dynamic>>(0);
  core::_GrowableList::•<dynamic>(0);
  core::_GrowableList::•<self::Class<dynamic>>(0);
  core::_GrowableList::•<self::Class<dynamic>>(0);
  core::_GrowableList::•<self::ConcreteClass>(0);
  core::_GrowableList::•<self::Class<self::ConcreteClass>>(0);
  core::_GrowableList::•<core::Object>(0);
  core::_GrowableList::•<core::int>(0);
  core::_GrowableList::•<self::G<self::Class<dynamic>>>(0);
  core::_GrowableList::•<self::G<self::Class<dynamic>>>(0);
  core::_GrowableList::•<self::G<self::Class<dynamic>>>(0);
  core::_GrowableList::•<self::G<self::Class<dynamic>>>(0);
  core::_GrowableList::•<self::G<self::ConcreteClass>>(0);
  core::_GrowableList::•<self::G<self::Class<self::ConcreteClass>>>(0);
  core::_GrowableList::•<self::G<core::Object>>(0);
  core::_GrowableList::•<self::G<core::int>>(0);
}
static method main() → dynamic {}