Fixes #3212. Fix the new roll failures. Add issue numbers

Author: sgrekhov

LanguageFeatures/Enhanced-Enum/grammar_A10_t04.dart

@@ -13,7 +13,7 @@
 /// static setter with the name `values=`, and its argument is not a supertype of
 /// the generated member `values`.
 /// @author [email protected]
-/// @issue 48387
+/// @issue 48387, 60821
 
 import '../../Utils/expect.dart';
 

LanguageFeatures/Extension-types/static_analysis_extension_types_A03_t02.dart

@@ -70,7 +70,6 @@ extension type ET7(int id) {
 
 extension type ET8(int id) {
 //                     ^^
-// [analyzer] unspecified
 // [cfe] unspecified
   static void set id(int v) {}
 //                ^^

LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t01.dart

@@ -10,7 +10,7 @@
 /// declares an instance setter with the same basename as the representation
 /// variable but with a not compatible type
 /// @author [email protected]
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 

LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t02.dart

@@ -10,7 +10,7 @@
 /// declares an instance setter with the same basename as the instance getter
 /// but with an incompatible type
 /// @author [email protected]
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 

LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t03.dart

@@ -10,7 +10,7 @@
 /// declares a static setter with the same basename as the static getter but
 /// with an incompatible type
 /// @author [email protected]
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 

LanguageFeatures/Extension-types/static_analysis_member_invocation_A06_t04.dart

@@ -13,6 +13,7 @@
 /// @description Checks that an instance getter doesn't preclude an instance
 /// setter and vice versa.
 /// @author [email protected]
+/// @issue 58579
 
 import '../../Utils/expect.dart';
 

LanguageFeatures/Extension-types/static_analysis_member_invocation_A08_t05.dart

@@ -14,6 +14,7 @@
 ///
 /// @description Checks that a getter doesn't preclude a setter and vice versa.
 /// @author [email protected]
+/// @issue 58579
 
 import '../../Utils/expect.dart';
 

TypeSystem/flow-analysis/promotion_switch_A03_t01.dart

@@ -81,6 +81,4 @@ main() {
   test6(1);
   test6("one");
   test6(null);
-
-  test22("");
 }

TypeSystem/flow-analysis/promotion_switch_A04_t02.dart

@@ -35,7 +35,7 @@ test3(Object? x) {
   switch (x) {
     case num v:
       x.expectStaticType<Exactly<num>>();
-    case int _:
+    case int _: // ignore: unreachable_switch_case
       x = 3.14;
       x.expectStaticType<Exactly<num>>();
     case _:
@@ -48,7 +48,7 @@ test3(Object? x) {
 test4(Object? x) {
   var y = switch (x) {
     num _ => x.expectStaticType<Exactly<num>>(),
-    int v when (x = 3.14) > 0 => x.expectStaticType<Exactly<num>>(),
+    int v when (x = 3.14) > 0 => x.expectStaticType<Exactly<num>>(), // ignore: unreachable_switch_case
     _ => x.expectStaticType<Exactly<Object?>>()
   };
   x.expectStaticType<Exactly<Object?>>();

TypeSystem/flow-analysis/reachability_switch_expression_A05_t01.dart

@@ -18,11 +18,15 @@
 /// @author [email protected]
 /// @issue 60677
 
-main() {
+test() {
   late int i;
   var x = switch (42) {
     String _ => i = 42,
     _ => 0
   };
   i; // Possibly assigned, see https://github.com/dart-lang/sdk/issues/60677
 }
+
+main() {
+  print(test);
+}