diff --git a/LanguageFeatures/Enhanced-Enum/grammar_A10_t04.dart b/LanguageFeatures/Enhanced-Enum/grammar_A10_t04.dart
index dde068bfd7..52317a38f6 100644
--- a/LanguageFeatures/Enhanced-Enum/grammar_A10_t04.dart
+++ b/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 sgrekhov@unipro.ru
-/// @issue 48387
+/// @issue 48387, 60821
 
 import '../../Utils/expect.dart';
 
diff --git a/LanguageFeatures/Extension-types/static_analysis_extension_types_A03_t02.dart b/LanguageFeatures/Extension-types/static_analysis_extension_types_A03_t02.dart
index 2a50e2a2b5..82f111d28a 100644
--- a/LanguageFeatures/Extension-types/static_analysis_extension_types_A03_t02.dart
+++ b/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) {}
 //                ^^
diff --git a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t01.dart b/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t01.dart
index 2e65454220..ba2c25a99b 100644
--- a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t01.dart
+++ b/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 sgrekhov22@gmail.com
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 
diff --git a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t02.dart b/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t02.dart
index a75fded2b4..effa99cbaa 100644
--- a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t02.dart
+++ b/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 sgrekhov22@gmail.com
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 
diff --git a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t03.dart b/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t03.dart
index ddb4a6c584..64dd4d19ea 100644
--- a/LanguageFeatures/Extension-types/static_analysis_extension_types_A30_t03.dart
+++ b/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 sgrekhov22@gmail.com
-/// @issue 53489
+/// @issue 53489, 58579
 
 import '../../Utils/expect.dart';
 
diff --git a/LanguageFeatures/Extension-types/static_analysis_member_invocation_A06_t04.dart b/LanguageFeatures/Extension-types/static_analysis_member_invocation_A06_t04.dart
index 3fc5666137..cb5b438ab4 100644
--- a/LanguageFeatures/Extension-types/static_analysis_member_invocation_A06_t04.dart
+++ b/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 sgrekhov22@gmail.com
+/// @issue 58579
 
 import '../../Utils/expect.dart';
 
diff --git a/LanguageFeatures/Extension-types/static_analysis_member_invocation_A08_t05.dart b/LanguageFeatures/Extension-types/static_analysis_member_invocation_A08_t05.dart
index 47eaf96ab8..2ddbffe349 100644
--- a/LanguageFeatures/Extension-types/static_analysis_member_invocation_A08_t05.dart
+++ b/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 sgrekhov22@gmail.com
+/// @issue 58579
 
 import '../../Utils/expect.dart';
 
diff --git a/TypeSystem/flow-analysis/promotion_switch_A03_t01.dart b/TypeSystem/flow-analysis/promotion_switch_A03_t01.dart
index 2b1a776a1b..aace16d09c 100644
--- a/TypeSystem/flow-analysis/promotion_switch_A03_t01.dart
+++ b/TypeSystem/flow-analysis/promotion_switch_A03_t01.dart
@@ -81,6 +81,4 @@ main() {
   test6(1);
   test6("one");
   test6(null);
-
-  test22("");
 }
diff --git a/TypeSystem/flow-analysis/promotion_switch_A04_t02.dart b/TypeSystem/flow-analysis/promotion_switch_A04_t02.dart
index 13e648e12f..9f774a39be 100644
--- a/TypeSystem/flow-analysis/promotion_switch_A04_t02.dart
+++ b/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?>>();
diff --git a/TypeSystem/flow-analysis/reachability_switch_expression_A05_t01.dart b/TypeSystem/flow-analysis/reachability_switch_expression_A05_t01.dart
index 45893b5883..580354c592 100644
--- a/TypeSystem/flow-analysis/reachability_switch_expression_A05_t01.dart
+++ b/TypeSystem/flow-analysis/reachability_switch_expression_A05_t01.dart
@@ -18,7 +18,7 @@
 /// @author sgrekhov22@gmail.com
 /// @issue 60677
 
-main() {
+test() {
   late int i;
   var x = switch (42) {
     String _ => i = 42,
@@ -26,3 +26,7 @@ main() {
   };
   i; // Possibly assigned, see https://github.com/dart-lang/sdk/issues/60677
 }
+
+main() {
+  print(test);
+}