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

class A1 extends core::Object {
  final field core::int a;
  constructor •(core::int a) → self::A1
    ;
}
class B1 extends core::Object {
  synthetic constructor •() → self::B1
    ;
}
class C1 = self::A1 with self::B1 {
  synthetic constructor •(core::int a) → self::C1
    : super self::A1::•(a)
    ;
}
class D1 extends self::C1 {
  constructor •(core::int a) → self::D1
    ;
}
class A2 extends core::Object {
  final field core::int a;
  constructor •({core::int a = 0}) → self::A2
    ;
}
class B2 extends core::Object {
  synthetic constructor •() → self::B2
    ;
}
class C2 = self::A2 with self::B2 {
  synthetic constructor •({core::int a = 0}) → self::C2
    : super self::A2::•(a: a)
    ;
}
class D2 extends self::C2 {
  constructor •({core::int a = 0}) → self::D2
    ;
}
class A3 extends core::Object {
  final field core::int a;
  constructor •([core::int a = 0]) → self::A3
    ;
}
class B3 extends core::Object {
  synthetic constructor •() → self::B3
    ;
}
class C3 = self::A3 with self::B3 {
  synthetic constructor •([core::int a = 0]) → self::C3
    : super self::A3::•(a)
    ;
}
class D3 extends self::C3 {
  constructor •([core::int a = 0]) → self::D3
    ;
}
class D4 extends self::C4 {
  constructor •([core::int foo = 42]) → self::D4
    ;
}
class C4 = self::A4 with self::B4 {
  synthetic constructor •([core::int foo = 42]) → self::C4
    : super self::A4::•(foo)
    ;
}
class B4 extends core::Object {
  synthetic constructor •() → self::B4
    ;
}
class A4 extends self::AA4 {
  constructor •([core::int foo = 42]) → self::A4
    ;
}
class AA4 extends core::Object {
  final field core::int foo;
  constructor •([core::int foo = 42]) → self::AA4
    ;
}
class D5 extends self::C5c {
  constructor •([core::int foo = 42]) → self::D5
    ;
}
class C5c = self::C5b with self::B5 {
  synthetic constructor •([core::int foo = 42]) → self::C5c
    : super self::C5b::•(foo)
    ;
}
class C5b = self::C5a with self::B5 {
  synthetic constructor •([core::int foo = 42]) → self::C5b
    : super self::C5a::•(foo)
    ;
}
class C5a = self::A5 with self::B5 {
  synthetic constructor •([core::int foo = 42]) → self::C5a
    : super self::A5::•(foo)
    ;
}
class B5 extends core::Object {
  synthetic constructor •() → self::B5
    ;
}
class A5 extends self::AA5 {
  constructor •([core::int foo = 42]) → self::A5
    ;
}
class AA5 extends core::Object {
  final field core::int foo;
  constructor •([core::int foo = 42]) → self::AA5
    ;
}
static method main() → dynamic
  ;