library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/representation.dart:5:23: Error: Expected a representation field.
// extension type Missing() {} // Error
//                       ^
//
// pkg/front_end/testcases/extension_types/representation.dart:7:24: Error: Each extension type should have exactly one representation field.
// extension type Multiple(bool instanceField1, int instanceField2) {}  // Error
//                        ^
//
// pkg/front_end/testcases/extension_types/representation.dart:9:50: Error: Duplicated parameter name 'instanceField'.
// extension type Duplicate(bool instanceField, int instanceField) {} // Error
//                                                  ^^^^^^^^^^^^^
// pkg/front_end/testcases/extension_types/representation.dart:9:31: Context: Other parameter named 'instanceField'.
// extension type Duplicate(bool instanceField, int instanceField) {} // Error
//                               ^^^^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/representation.dart:9:50: Error: 'instanceField' is already declared in this scope.
// extension type Duplicate(bool instanceField, int instanceField) {} // Error
//                                                  ^^^^^^^^^^^^^
// pkg/front_end/testcases/extension_types/representation.dart:9:31: Context: Previous declaration of 'instanceField'.
// extension type Duplicate(bool instanceField, int instanceField) {} // Error
//                               ^^^^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/representation.dart:9:25: Error: Each extension type should have exactly one representation field.
// extension type Duplicate(bool instanceField, int instanceField) {} // Error
//                         ^
//
import self as self;
import "dart:core" as core;

extension type Missing(invalid-type #) {
  constructor • = self::Missing|constructor#;
  constructor tearoff • = self::Missing|constructor#_#new#tearOff;
}
extension type Multiple(core::bool instanceField1) {
  abstract extension-type-member representation-field get instanceField1() → core::bool;
  abstract extension-type-member representation-field get instanceField2() → core::int;
  constructor • = self::Multiple|constructor#;
  constructor tearoff • = self::Multiple|constructor#_#new#tearOff;
}
extension type Duplicate(core::bool instanceField) {
  abstract extension-type-member representation-field get instanceField() → core::bool;
  constructor • = self::Duplicate|constructor#;
  constructor tearoff • = self::Duplicate|constructor#_#new#tearOff;
}
static extension-type-member method Missing|constructor#() → self::Missing% /* erasure=invalid-type, declared=! */
  ;
static extension-type-member method Missing|constructor#_#new#tearOff() → self::Missing% /* erasure=invalid-type, declared=! */
  return self::Missing|constructor#();
static extension-type-member method Multiple|constructor#(core::bool instanceField1, core::int instanceField2) → self::Multiple% /* erasure=core::bool, declared=! */
  ;
static extension-type-member method Multiple|constructor#_#new#tearOff(core::bool instanceField1, core::int instanceField2) → self::Multiple% /* erasure=core::bool, declared=! */
  return self::Multiple|constructor#(instanceField1, instanceField2);
static extension-type-member method Duplicate|constructor#(core::int instanceField, core::int instanceField) → self::Duplicate% /* erasure=core::bool, declared=! */
  ;
static extension-type-member method Duplicate|constructor#_#new#tearOff(core::int instanceField, core::int instanceField) → self::Duplicate% /* erasure=core::bool, declared=! */
  return self::Duplicate|constructor#(instanceField, instanceField);