pkg/front_end/testcases/instantiate_to_bound/mutual_dependence_in_literals.dart.weak.outline.expect

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

class B<X extends core::Object? = dynamic, Y extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::B<self::B::X%, self::B::Y%>
    ;
}
class C1<X extends (self::C1::Y) → self::C1::X = (Never) → dynamic, Y extends (self::C1::Y) → self::C1::X = (Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::C1<self::C1::X, self::C1::Y>
    ;
}
class C2<X extends (self::C2::Y) → self::C2::X = (Never) → dynamic, Y extends (self::C2::X) → self::C2::Y = (Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::C2<self::C2::X, self::C2::Y>
    ;
}
class C3<X extends (self::C3::X, self::C3::Y) → self::C3::X = (Never, Never) → dynamic, Y extends (self::C3::X, self::C3::Y) → self::C3::X = (Never, Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::C3<self::C3::X, self::C3::Y>
    ;
}
class C4<X extends (self::C4::X, self::C4::Y) → self::C4::X = (Never, Never) → dynamic, Y extends (self::C4::X, self::C4::Y) → self::C4::Y = (Never, Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::C4<self::C4::X, self::C4::Y>
    ;
}
class D1<X extends self::B<self::D1::X, self::D1::Y> = self::B<dynamic, dynamic>, Y extends (self::D1::Y) → self::D1::X = (Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::D1<self::D1::X, self::D1::Y>
    ;
}
class D2<X extends self::B<self::D2::X, self::D2::Y> = self::B<dynamic, dynamic>, Y extends (self::D2::X) → self::D2::Y = (Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::D2<self::D2::X, self::D2::Y>
    ;
}
class D3<X extends self::B<self::D3::X, self::D3::Y> = self::B<dynamic, dynamic>, Y extends (self::D3::X, self::D3::Y) → self::D3::X = (Never, Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::D3<self::D3::X, self::D3::Y>
    ;
}
class D4<X extends self::B<self::D4::X, self::D4::Y> = self::B<dynamic, dynamic>, Y extends (self::D4::X, self::D4::Y) → self::D4::Y = (Never, Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::D4<self::D4::X, self::D4::Y>
    ;
}
class E<X extends (self::E::X) → self::E::X = (Never) → dynamic> extends core::Object {
  synthetic constructor •() → self::E<self::E::X>
    ;
}
static field core::List<self::C1<(Never) → dynamic, (Never) → dynamic>> lc1;
static field core::Map<self::C1<(Never) → dynamic, (Never) → dynamic>, self::C1<(Never) → dynamic, (Never) → dynamic>> mc1;
static field core::List<self::C2<(Never) → dynamic, (Never) → dynamic>> lc2;
static field core::Map<self::C2<(Never) → dynamic, (Never) → dynamic>, self::C2<(Never) → dynamic, (Never) → dynamic>> mc2;
static field core::List<self::C3<(Never, Never) → dynamic, (Never, Never) → dynamic>> lc3;
static field core::Map<self::C3<(Never, Never) → dynamic, (Never, Never) → dynamic>, self::C3<(Never, Never) → dynamic, (Never, Never) → dynamic>> mc3;
static field core::List<self::C4<(Never, Never) → dynamic, (Never, Never) → dynamic>> lc4;
static field core::Map<self::C4<(Never, Never) → dynamic, (Never, Never) → dynamic>, self::C4<(Never, Never) → dynamic, (Never, Never) → dynamic>> mc4;
static field core::List<self::D1<self::B<dynamic, dynamic>, (Never) → dynamic>> ld1;
static field core::Map<self::D1<self::B<dynamic, dynamic>, (Never) → dynamic>, self::D1<self::B<dynamic, dynamic>, (Never) → dynamic>> md1;
static field core::List<self::D2<self::B<dynamic, dynamic>, (Never) → dynamic>> ld2;
static field core::Map<self::D2<self::B<dynamic, dynamic>, (Never) → dynamic>, self::D2<self::B<dynamic, dynamic>, (Never) → dynamic>> md2;
static field core::List<self::D3<self::B<dynamic, dynamic>, (Never, Never) → dynamic>> ld3;
static field core::Map<self::D3<self::B<dynamic, dynamic>, (Never, Never) → dynamic>, self::D3<self::B<dynamic, dynamic>, (Never, Never) → dynamic>> md3;
static field core::List<self::D4<self::B<dynamic, dynamic>, (Never, Never) → dynamic>> ld4;
static field core::Map<self::D4<self::B<dynamic, dynamic>, (Never, Never) → dynamic>, self::D4<self::B<dynamic, dynamic>, (Never, Never) → dynamic>> md4;
static field core::List<self::E<(Never) → dynamic>> le;
static field core::Map<self::E<(Never) → dynamic>, self::E<(Never) → dynamic>> me;
static method main() → dynamic
  ;