diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t06.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t06.dart
index 62985e4..e422ffe 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t06.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t06.dart
@@ -38,7 +38,7 @@
 class C2 implements M2 {
 //    ^^
 // [analyzer] unspecified
-// [cfe] unspecified;
+// [cfe] unspecified
   int get index => 2;
 }
 
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t07.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t07.dart
index a9dbe66..c4890f1 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t07.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A01_t07.dart
@@ -32,7 +32,7 @@
 class C2 extends Enum {
 //               ^^^^
 // [analyzer] unspecified
-// [cfe] unspecified;
+// [cfe] unspecified
 }
 
 class C3 with Enum {
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t15.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t15.dart
index bbea12e..bd19ff0 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t15.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t15.dart
@@ -33,7 +33,7 @@
 }
 
 abstract class E2 extends Enum {
-  int String hashCode => "42";
+  String get hashCode => "42";
 //           ^^^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t16.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t16.dart
index b38dd70..c9d338b 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t16.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t16.dart
@@ -18,18 +18,15 @@
 /// "primitive equality", and we want to ensure that enums can be used in
 /// switches.
 ///
-/// @description Check that it's a compile-time error if a class declaration has
-/// Enum as a superinterface, and it declares a non-abstract instance member
-/// named `hashCode`.
+/// @description Check that it's not a compile-time error if a class declaration
+/// has Enum as a superinterface, and it declares a non-abstract instance member
+/// named `hashCode=`, but the setter/getter signature constraint does apply.
 /// @author sgrekhov@unipro.ru
 
 // SharedOptions=--enable-experiment=enhanced-enums
 
 abstract class E1 extends Enum {
   void set hashCode(int val) {}
-//         ^^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
 }
 
 abstract class E2 extends Enum {
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t20.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t20.dart
index af08deb..ee82a81 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t20.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t20.dart
@@ -18,9 +18,9 @@
 /// "primitive equality", and we want to ensure that enums can be used in
 /// switches.
 ///
-/// @description Check that it's a compile-time error if an enum declaration has
-/// Enum as a superinterface, and it declares a non-abstract instance member
-/// named `hashCode`.
+/// @description Check that it's not a compile-time error if an enum declaration
+/// has Enum as a superinterface, and it declares a non-abstract instance member
+/// named `hashCode=`, but the setter/getter signature constraint does apply.
 /// @author sgrekhov@unipro.ru
 
 // SharedOptions=--enable-experiment=enhanced-enums
@@ -30,9 +30,6 @@
   e2;
 
   void set hashCode(int val) {}
-//         ^^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
 }
 
 enum E2 {
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t24.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t24.dart
index 6932088..7e975c5 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t24.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t24.dart
@@ -18,18 +18,15 @@
 /// "primitive equality", and we want to ensure that enums can be used in
 /// switches.
 ///
-/// @description Check that it's a compile-time error if a mixin declaration has
-/// Enum as a superinterface, and it declares a non-abstract instance member
-/// named `hashCode`.
+/// @description Check that it's not a compile-time error if a mixin declaration
+/// has Enum as a superinterface, and it declares a non-abstract instance member
+/// named `hashCode=`, but the setter/getter signature constraint does apply.
 /// @author sgrekhov@unipro.ru
 
 // SharedOptions=--enable-experiment=enhanced-enums
 
 mixin M1 on Enum {
   void set hashCode(int v) {}
-//         ^^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
 }
 
 mixin M2 on Enum {
diff --git a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t27.dart b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t27.dart
index c45e1cc..1d6912a 100644
--- a/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t27.dart
+++ b/LanguageFeatures/Enhanced-Enum/implementing_enum_A04_t27.dart
@@ -35,8 +35,8 @@
 }
 
 mixin M2 on Enum {
-  bool operator ==(covariant E2 other) {
-//    ^^^^^^^^^^^
+  bool operator ==(covariant M2 other) {
+//     ^^^^^^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
     return false;