pkg/front_end/testcases/extension_types/initializers.dart.strong.modular.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/initializers.dart:16:27: Error: 'nonexisting' isn't an instance field of this class.
//   Class4(this.field, this.nonexisting); // Error
//                           ^^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/initializers.dart:20:35: Error: 'field' was already initialized by this constructor.
//   Class5(this.field) : this.field = 42; // Error
//                                   ^
//
// pkg/front_end/testcases/extension_types/initializers.dart:24:29: Error: 'nonexisting' isn't an instance field of this class.
//   Class6(this.field) : this.nonexisting = 42; // Error
//                             ^^^^^^^^^^^
//
import self as self;
import "dart:core" as core;

extension type Class1(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class1|constructor#_;
  constructor tearoff _ = self::Class1|constructor#_#_#tearOff;
  constructor • = self::Class1|constructor#;
  constructor tearoff • = self::Class1|constructor#_#new#tearOff;
}
extension type Class2(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class2|constructor#_;
  constructor tearoff _ = self::Class2|constructor#_#_#tearOff;
  constructor • = self::Class2|constructor#;
  constructor tearoff • = self::Class2|constructor#_#new#tearOff;
}
extension type Class3(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class3|constructor#_;
  constructor tearoff _ = self::Class3|constructor#_#_#tearOff;
}
extension type Class4(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class4|constructor#_;
  constructor tearoff _ = self::Class4|constructor#_#_#tearOff;
  constructor • = self::Class4|constructor#;
  constructor tearoff • = self::Class4|constructor#_#new#tearOff;
}
extension type Class5(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class5|constructor#_;
  constructor tearoff _ = self::Class5|constructor#_#_#tearOff;
  constructor • = self::Class5|constructor#;
  constructor tearoff • = self::Class5|constructor#_#new#tearOff;
}
extension type Class6(core::int field) {
  abstract extension-type-member representation-field get field() → core::int;
  constructor _ = self::Class6|constructor#_;
  constructor tearoff _ = self::Class6|constructor#_#_#tearOff;
  constructor • = self::Class6|constructor#;
  constructor tearoff • = self::Class6|constructor#_#new#tearOff;
}
static extension-type-member method Class1|constructor#_(core::int field) → self::Class1% /* erasure=core::int, declared=! */ {
  lowered final self::Class1% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class1|constructor#_#_#tearOff(core::int field) → self::Class1% /* erasure=core::int, declared=! */
  return self::Class1|constructor#_(field);
static extension-type-member method Class1|constructor#(core::int field) → self::Class1% /* erasure=core::int, declared=! */ {
  lowered final self::Class1% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class1|constructor#_#new#tearOff(core::int field) → self::Class1% /* erasure=core::int, declared=! */
  return self::Class1|constructor#(field);
static extension-type-member method Class2|constructor#_(core::int field) → self::Class2% /* erasure=core::int, declared=! */ {
  lowered final self::Class2% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class2|constructor#_#_#tearOff(core::int field) → self::Class2% /* erasure=core::int, declared=! */
  return self::Class2|constructor#_(field);
static extension-type-member method Class2|constructor#(core::int field) → self::Class2% /* erasure=core::int, declared=! */ {
  lowered final self::Class2% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class2|constructor#_#new#tearOff(core::int field) → self::Class2% /* erasure=core::int, declared=! */
  return self::Class2|constructor#(field);
static extension-type-member method Class3|constructor#_(core::int field) → self::Class3% /* erasure=core::int, declared=! */ {
  lowered final self::Class3% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class3|constructor#_#_#tearOff(core::int field) → self::Class3% /* erasure=core::int, declared=! */
  return self::Class3|constructor#_(field);
static extension-type-member method Class4|constructor#_(core::int field) → self::Class4% /* erasure=core::int, declared=! */ {
  lowered final self::Class4% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class4|constructor#_#_#tearOff(core::int field) → self::Class4% /* erasure=core::int, declared=! */
  return self::Class4|constructor#_(field);
static extension-type-member method Class4|constructor#(core::int field, dynamic nonexisting) → self::Class4% /* erasure=core::int, declared=! */ {
  lowered final self::Class4% /* erasure=core::int, declared=! */ #this = field;
  final dynamic #t1 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:16:27: Error: 'nonexisting' isn't an instance field of this class.
  Class4(this.field, this.nonexisting); // Error
                          ^^^^^^^^^^^";
  return #this;
}
static extension-type-member method Class4|constructor#_#new#tearOff(core::int field, dynamic nonexisting) → self::Class4% /* erasure=core::int, declared=! */
  return self::Class4|constructor#(field, nonexisting);
static extension-type-member method Class5|constructor#_(core::int field) → self::Class5% /* erasure=core::int, declared=! */ {
  lowered final self::Class5% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class5|constructor#_#_#tearOff(core::int field) → self::Class5% /* erasure=core::int, declared=! */
  return self::Class5|constructor#_(field);
static extension-type-member method Class5|constructor#(core::int field) → self::Class5% /* erasure=core::int, declared=! */ {
  lowered final self::Class5% /* erasure=core::int, declared=! */ #this = field;
  final dynamic #t2 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:20:35: Error: 'field' was already initialized by this constructor.
  Class5(this.field) : this.field = 42; // Error
                                  ^";
  return #this;
}
static extension-type-member method Class5|constructor#_#new#tearOff(core::int field) → self::Class5% /* erasure=core::int, declared=! */
  return self::Class5|constructor#(field);
static extension-type-member method Class6|constructor#_(core::int field) → self::Class6% /* erasure=core::int, declared=! */ {
  lowered final self::Class6% /* erasure=core::int, declared=! */ #this = field;
  return #this;
}
static extension-type-member method Class6|constructor#_#_#tearOff(core::int field) → self::Class6% /* erasure=core::int, declared=! */
  return self::Class6|constructor#_(field);
static extension-type-member method Class6|constructor#(core::int field) → self::Class6% /* erasure=core::int, declared=! */ {
  lowered final self::Class6% /* erasure=core::int, declared=! */ #this = field;
  final dynamic #t3 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:24:29: Error: 'nonexisting' isn't an instance field of this class.
  Class6(this.field) : this.nonexisting = 42; // Error
                            ^^^^^^^^^^^";
  return #this;
}
static extension-type-member method Class6|constructor#_#new#tearOff(core::int field) → self::Class6% /* erasure=core::int, declared=! */
  return self::Class6|constructor#(field);