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

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

static method main() → dynamic
  ;

library unaliased_bounds_checks_in_constructor_calls_with_parts_lib /*isNonNullableByDefault*/;
import self as self2;
import "dart:core" as core;

part ./unaliased_bounds_checks_in_constructor_calls_with_parts_part_lib.dart;
typedef A<X extends core::num, unrelated Y extends core::Object? = dynamic> = self2::C<X>;
class C<X extends core::Object? = dynamic> extends core::Object { // from org-dartlang-testcase:///unaliased_bounds_checks_in_constructor_calls_with_parts_part_lib.dart
  synthetic constructor •() → self2::C<self2::C::X%>
    ;
}
static method /* from org-dartlang-testcase:///unaliased_bounds_checks_in_constructor_calls_with_parts_part_lib.dart */ foo() → dynamic
  ;
static method /* from org-dartlang-testcase:///unaliased_bounds_checks_in_constructor_calls_with_parts_part_lib.dart */ _#A#new#tearOff<X extends core::num, unrelated Y extends core::Object? = dynamic>() → self2::C<self2::_#A#new#tearOff::X>
  return new self2::C::•<self2::_#A#new#tearOff::X>();