library /*isNonNullableByDefault*/;
import self as self;

import "org-dartlang-testcase:///aliased_checks_no_bodies_lib.dart";

static method main() → dynamic {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nonfunction_type_aliases/aliased_checks_no_bodies_lib.dart:9:19: Error: Type argument 'int' doesn't conform to the bound 'String' of the type variable 'X' on 'B'.
// Try changing type arguments so that they conform to the bounds.
// class C<Y extends B<int>> {}
//                   ^
// pkg/front_end/testcases/nonfunction_type_aliases/aliased_checks_no_bodies_lib.dart:7:11: Context: This is the type variable whose bound isn't conformed to.
// typedef B<X extends String> = A;
//           ^
//
import self as self2;
import "dart:core" as core;

typedef B<unrelated X extends core::String> = self2::A;
class A extends core::Object {
  synthetic constructor •() → self2::A
    : super core::Object::•()
    ;
}
class C<Y extends self2::A> extends core::Object {
  synthetic constructor •() → self2::C<self2::C::Y>
    : super core::Object::•()
    ;
}
static method _#B#new#tearOff<unrelated X extends core::String>() → self2::A
  return new self2::A::•();