library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/initialization_errors.dart:7:27: Error: 'x' was already initialized by this constructor.
//   A() : this.x = 41, this.x = 42 {}
//                           ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:12:27: Error: 'x' was already initialized by this constructor.
//   B() : this.x = 41, this.x = 42 {}
//                           ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:17:14: Error: 'x' is a final instance variable that was initialized at the declaration.
//   C() : this.x = 41, this.x = 42 {}
//              ^
// pkg/front_end/testcases/general/initialization_errors.dart:16:13: Context: 'x' was initialized here.
//   final int x = 2;
//             ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:17:27: Error: 'x' was already initialized by this constructor.
//   C() : this.x = 41, this.x = 42 {}
//                           ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:23:14: Error: A redirecting constructor can't have other initializers.
//   D() : this.x = 41, this.named(), this.y = 42 {}
//              ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:23:41: Error: A redirecting constructor can't have other initializers.
//   D() : this.x = 41, this.named(), this.y = 42 {}
//                                         ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:30:28: Error: A redirecting constructor can't have other initializers.
//   E() : this.named(), this.x = 1, this.y = 2 {}
//                            ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:30:40: Error: A redirecting constructor can't have other initializers.
//   E() : this.named(), this.x = 1, this.y = 2 {}
//                                        ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:32:21: Error: A redirecting constructor can't have other initializers.
//   E.named2() : this.x = 1, this.named(), this.y = 2;
//                     ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:32:47: Error: A redirecting constructor can't have other initializers.
//   E.named2() : this.x = 1, this.named(), this.y = 2;
//                                               ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:33:16: Error: A redirecting constructor can't have a 'super' initializer.
//   E.named3() : super(), this.named(), this.x = 1, this.y = 2;
//                ^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:33:44: Error: Can't have initializers after 'super'.
//   E.named3() : super(), this.named(), this.x = 1, this.y = 2;
//                                            ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:33:56: Error: Can't have initializers after 'super'.
//   E.named3() : super(), this.named(), this.x = 1, this.y = 2;
//                                                        ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:34:21: Error: A redirecting constructor can't have other initializers.
//   E.named4() : this.x = 1, this.y = 2, this.named();
//                     ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:34:33: Error: A redirecting constructor can't have other initializers.
//   E.named4() : this.x = 1, this.y = 2, this.named();
//                                 ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:35:16: Error: A redirecting constructor can't have other initializers.
//   E.named5() : assert(true), this.named();
//                ^^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:36:30: Error: A redirecting constructor can't have other initializers.
//   E.named6() : this.named(), assert(true);
//                              ^^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:40:23: Error: A redirecting constructor can't have a 'super' initializer.
//   F() : this.named(), super() {}
//                       ^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:45:9: Error: A redirecting constructor can't have a 'super' initializer.
//   G() : super(), this.named(), super() {}
//         ^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:45:32: Error: Can't have more than one 'super' initializer.
//   G() : super(), this.named(), super() {}
//                                ^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:50:28: Error: A redirecting constructor can't have more than one redirection.
//   H() : this.named(), this.named();
//                            ^
//
// pkg/front_end/testcases/general/initialization_errors.dart:55:18: Error: Can't have more than one 'super' initializer.
//   I() : super(), super() {}
//                  ^^^^^
//
// pkg/front_end/testcases/general/initialization_errors.dart:60:23: Error: Can't have initializers after 'super'.
//   J() : super(), this.x = 42 {}
//                       ^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  field core::int x;
  constructor •() → self::A
    : self::A::x = 41, invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:7:27: Error: 'x' was already initialized by this constructor.
  A() : this.x = 41, this.x = 42 {}
                          ^" {}
}
class B extends core::Object {
  final field core::int x;
  constructor •() → self::B
    : self::B::x = 41, invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:12:27: Error: 'x' was already initialized by this constructor.
  B() : this.x = 41, this.x = 42 {}
                          ^" {}
}
class C extends core::Object {
  final field core::int x = 2;
  constructor •() → self::C
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:17:14: Error: 'x' is a final instance variable that was initialized at the declaration.
  C() : this.x = 41, this.x = 42 {}
             ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:17:27: Error: 'x' was already initialized by this constructor.
  C() : this.x = 41, this.x = 42 {}
                          ^" {}
}
class D extends core::Object {
  final field core::int x;
  final field core::int y;
  erroneous constructor •() → self::D
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:23:14: Error: A redirecting constructor can't have other initializers.
  D() : this.x = 41, this.named(), this.y = 42 {}
             ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:23:41: Error: A redirecting constructor can't have other initializers.
  D() : this.x = 41, this.named(), this.y = 42 {}
                                        ^", this self::D::named() {}
  constructor named() → self::D
    : self::D::x = 41, self::D::y = 42, super core::Object::•() {}
}
class E extends core::Object {
  final field core::int x;
  final field core::int y;
  erroneous constructor •() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:30:28: Error: A redirecting constructor can't have other initializers.
  E() : this.named(), this.x = 1, this.y = 2 {}
                           ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:30:40: Error: A redirecting constructor can't have other initializers.
  E() : this.named(), this.x = 1, this.y = 2 {}
                                       ^", this self::E::named() {}
  constructor named() → self::E
    : self::E::x = 41, self::E::y = 42, super core::Object::•() {}
  erroneous constructor named2() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:32:21: Error: A redirecting constructor can't have other initializers.
  E.named2() : this.x = 1, this.named(), this.y = 2;
                    ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:32:47: Error: A redirecting constructor can't have other initializers.
  E.named2() : this.x = 1, this.named(), this.y = 2;
                                              ^", this self::E::named()
    ;
  erroneous constructor named3() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:33:16: Error: A redirecting constructor can't have a 'super' initializer.
  E.named3() : super(), this.named(), this.x = 1, this.y = 2;
               ^^^^^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:33:44: Error: Can't have initializers after 'super'.
  E.named3() : super(), this.named(), this.x = 1, this.y = 2;
                                           ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:33:56: Error: Can't have initializers after 'super'.
  E.named3() : super(), this.named(), this.x = 1, this.y = 2;
                                                       ^", super core::Object::•()
    ;
  erroneous constructor named4() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:34:21: Error: A redirecting constructor can't have other initializers.
  E.named4() : this.x = 1, this.y = 2, this.named();
                    ^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:34:33: Error: A redirecting constructor can't have other initializers.
  E.named4() : this.x = 1, this.y = 2, this.named();
                                ^", this self::E::named()
    ;
  erroneous constructor named5() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:35:16: Error: A redirecting constructor can't have other initializers.
  E.named5() : assert(true), this.named();
               ^^^^^^", this self::E::named()
    ;
  erroneous constructor named6() → self::E
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:36:30: Error: A redirecting constructor can't have other initializers.
  E.named6() : this.named(), assert(true);
                             ^^^^^^", this self::E::named()
    ;
}
class F extends core::Object {
  constructor •() → self::F
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:40:23: Error: A redirecting constructor can't have a 'super' initializer.
  F() : this.named(), super() {}
                      ^^^^^", this self::F::named() {}
  constructor named() → self::F
    : super core::Object::•() {}
}
class G extends core::Object {
  erroneous constructor •() → self::G
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:45:9: Error: A redirecting constructor can't have a 'super' initializer.
  G() : super(), this.named(), super() {}
        ^^^^^", invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:45:32: Error: Can't have more than one 'super' initializer.
  G() : super(), this.named(), super() {}
                               ^^^^^", super core::Object::•() {}
  constructor named() → self::G
    : super core::Object::•() {}
}
class H extends core::Object {
  erroneous constructor •() → self::H
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:50:28: Error: A redirecting constructor can't have more than one redirection.
  H() : this.named(), this.named();
                           ^", this self::H::named()
    ;
  constructor named() → self::H
    : super core::Object::•() {}
}
class I extends core::Object {
  constructor •() → self::I
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:55:18: Error: Can't have more than one 'super' initializer.
  I() : super(), super() {}
                 ^^^^^", super core::Object::•() {}
}
class J extends core::Object {
  field core::int x;
  erroneous constructor •() → self::J
    : invalid-initializer "pkg/front_end/testcases/general/initialization_errors.dart:60:23: Error: Can't have initializers after 'super'.
  J() : super(), this.x = 42 {}
                      ^", super core::Object::•() {}
}
static method main() → dynamic {}