library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/enhanced_enums/setter_getter_type_check.dart:7:3: Error: The type 'E<int>' of the getter 'E.element2' is not a subtype of the type 'E<String>' of the setter 'E.element2'.
//  - 'E' is from 'pkg/front_end/testcases/enhanced_enums/setter_getter_type_check.dart'.
//   element2<int>();
//   ^^^^^^^^
// pkg/front_end/testcases/enhanced_enums/setter_getter_type_check.dart:10:19: Context: This is the declaration of the setter 'E.element2'.
//   static void set element2(E<String> val) {} // Error.
//                   ^^^^^^^^
//
import self as self;
import "dart:core" as core;

class E<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
  static const field core::List<self::E<dynamic>> values = #C7;
  static const field self::E<core::int> element = #C3;
  static const field self::E<core::int> element2 = #C6;
  const constructor •(core::int index, core::String name) → self::E<self::E::T%>
    : super core::_Enum::•(index, name)
    ;
  method toString() → core::String
    return "E.${this.{core::_Enum::_name}{core::String}}";
  static set element(self::E<core::int> val) → void {}
  static set element2(self::E<core::String> val) → void {}
}
static method main() → dynamic {}

constants  {
  #C1 = 0
  #C2 = "element"
  #C3 = self::E<core::int*> {index:#C1, _name:#C2}
  #C4 = 1
  #C5 = "element2"
  #C6 = self::E<core::int*> {index:#C4, _name:#C5}
  #C7 = <self::E<dynamic>*>[#C3, #C6]
}


Constructor coverage from constants:
org-dartlang-testcase:///setter_getter_type_check.dart:
- E. (from org-dartlang-testcase:///setter_getter_type_check.dart:5:6)
- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:103:9)
- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)