pkg/front_end/testcases/instantiate_to_bound/contravariant_mutual_dependence.dart.weak.transformed.expect

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

class D<X extends (self::D::X, self::D::Y) → void = (Never, Never) → void, Y extends (self::D::X, self::D::Y) → void = (Never, Never) → void> extends core::Object {
  synthetic constructor •() → self::D<self::D::X, self::D::Y>
    : super core::Object::•()
    ;
}
class E<X extends (self::E::X) → void = (Never) → void> extends core::Object {
  synthetic constructor •() → self::E<self::E::X>
    : super core::Object::•()
    ;
}
static field self::D<(Never, Never) → void, (Never, Never) → void> d = throw "";
static field self::E<(Never) → void> e = throw "";
static method main() → dynamic {}