diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart
new file mode 100644
index 00000000000..a34b2714262
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart
@@ -0,0 +1,49 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+enum Enum<T> {
+  a<num>(),
+  b<String>(),
+  c<bool>(),
+}
+
+method1(Enum<dynamic> e) {
+  switch (e) {
+    case Enum.a:
+    case Enum.b:
+    case Enum.c:
+  }
+}
+
+method2(Enum<num> e) {
+  switch (e) {
+    case Enum.a:
+    case Enum.b:
+    case Enum.c:
+  }
+}
+
+method3(Enum<int> e) {
+  switch (e) {
+    case Enum.a:
+    case Enum.b:
+    case Enum.c:
+  }
+}
+
+method4<T>(Enum<T> e) {
+  switch (e) {
+    case Enum.a:
+    case Enum.b:
+    case Enum.c:
+  }
+}
+
+method5<T extends num>(Enum<T> e) {
+  switch (e) {
+    case Enum.a:
+    case Enum.b:
+    case Enum.c:
+  }
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.expect
new file mode 100644
index 00000000000..dea81c9830c
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.expect
@@ -0,0 +1,171 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:22:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:23:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:29:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:30:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:31:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:37:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:38:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:39:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:45:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:46:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:47:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+import self as self;
+import "dart:core" as core;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = #C10;
+  enum-element static const field self::Enum<core::num> a = #C3;
+  enum-element static const field self::Enum<core::String> b = #C6;
+  enum-element static const field self::Enum<core::bool> c = #C9;
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L1:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method2(self::Enum<core::num> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L2:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method3(self::Enum<core::int> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L3:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L4:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L5:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "a"
+  #C3 = self::Enum<core::num> {index:#C1, _name:#C2}
+  #C4 = 1
+  #C5 = "b"
+  #C6 = self::Enum<core::String> {index:#C4, _name:#C5}
+  #C7 = 2
+  #C8 = "c"
+  #C9 = self::Enum<core::bool> {index:#C7, _name:#C8}
+  #C10 = <self::Enum<dynamic>>[#C3, #C6, #C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///generic_enum_switch.dart:
+- Enum. (from org-dartlang-testcase:///generic_enum_switch.dart:5:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.transformed.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.transformed.expect
new file mode 100644
index 00000000000..dea81c9830c
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.strong.transformed.expect
@@ -0,0 +1,171 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:22:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:23:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:29:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:30:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:31:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:37:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:38:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:39:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:45:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:46:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:47:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+import self as self;
+import "dart:core" as core;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = #C10;
+  enum-element static const field self::Enum<core::num> a = #C3;
+  enum-element static const field self::Enum<core::String> b = #C6;
+  enum-element static const field self::Enum<core::bool> c = #C9;
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L1:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method2(self::Enum<core::num> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L2:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method3(self::Enum<core::int> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L3:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L4:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic {
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L5:
+    case #C3:
+    case #C6:
+    case #C9:
+      {}
+  }
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "a"
+  #C3 = self::Enum<core::num> {index:#C1, _name:#C2}
+  #C4 = 1
+  #C5 = "b"
+  #C6 = self::Enum<core::String> {index:#C4, _name:#C5}
+  #C7 = 2
+  #C8 = "c"
+  #C9 = self::Enum<core::bool> {index:#C7, _name:#C8}
+  #C10 = <self::Enum<dynamic>>[#C3, #C6, #C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///generic_enum_switch.dart:
+- Enum. (from org-dartlang-testcase:///generic_enum_switch.dart:5:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline.expect
new file mode 100644
index 00000000000..f8dce38e52f
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline.expect
@@ -0,0 +1,11 @@
+enum Enum<T> {
+  a<num>(),
+  b<String>(),
+  c<bool>(),
+}
+
+method1(Enum<dynamic> e) {}
+method2(Enum<num> e) {}
+method3(Enum<int> e) {}
+method4<T>(Enum<T> e) {}
+method5<T extends num>(Enum<T> e) {}
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline_modelled.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline_modelled.expect
new file mode 100644
index 00000000000..f8dce38e52f
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.textual_outline_modelled.expect
@@ -0,0 +1,11 @@
+enum Enum<T> {
+  a<num>(),
+  b<String>(),
+  c<bool>(),
+}
+
+method1(Enum<dynamic> e) {}
+method2(Enum<num> e) {}
+method3(Enum<int> e) {}
+method4<T>(Enum<T> e) {}
+method5<T extends num>(Enum<T> e) {}
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.expect
new file mode 100644
index 00000000000..acc555ae599
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.expect
@@ -0,0 +1,202 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:22:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:23:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:29:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:30:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:31:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:37:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:38:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:39:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:45:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:46:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:47:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = #C10;
+  enum-element static const field self::Enum<core::num> a = #C3;
+  enum-element static const field self::Enum<core::String> b = #C6;
+  enum-element static const field self::Enum<core::bool> c = #C9;
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic {
+  #L1:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L2:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L1;
+      }
+    #L3:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method2(self::Enum<core::num> e) → dynamic {
+  #L4:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L5:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L4;
+      }
+    #L6:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method3(self::Enum<core::int> e) → dynamic {
+  #L7:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L8:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L7;
+      }
+    #L9:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic {
+  #L10:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L11:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L10;
+      }
+    #L12:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic {
+  #L13:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L14:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L13;
+      }
+    #L15:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "a"
+  #C3 = self::Enum<core::num*> {index:#C1, _name:#C2}
+  #C4 = 1
+  #C5 = "b"
+  #C6 = self::Enum<core::String*> {index:#C4, _name:#C5}
+  #C7 = 2
+  #C8 = "c"
+  #C9 = self::Enum<core::bool*> {index:#C7, _name:#C8}
+  #C10 = <self::Enum<dynamic>*>[#C3, #C6, #C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///generic_enum_switch.dart:
+- Enum. (from org-dartlang-testcase:///generic_enum_switch.dart:5:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.modular.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.modular.expect
new file mode 100644
index 00000000000..acc555ae599
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.modular.expect
@@ -0,0 +1,202 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:22:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:23:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:29:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:30:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:31:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:37:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:38:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:39:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:45:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:46:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:47:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = #C10;
+  enum-element static const field self::Enum<core::num> a = #C3;
+  enum-element static const field self::Enum<core::String> b = #C6;
+  enum-element static const field self::Enum<core::bool> c = #C9;
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic {
+  #L1:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L2:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L1;
+      }
+    #L3:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method2(self::Enum<core::num> e) → dynamic {
+  #L4:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L5:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L4;
+      }
+    #L6:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method3(self::Enum<core::int> e) → dynamic {
+  #L7:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L8:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L7;
+      }
+    #L9:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic {
+  #L10:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L11:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L10;
+      }
+    #L12:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic {
+  #L13:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L14:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L13;
+      }
+    #L15:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "a"
+  #C3 = self::Enum<core::num*> {index:#C1, _name:#C2}
+  #C4 = 1
+  #C5 = "b"
+  #C6 = self::Enum<core::String*> {index:#C4, _name:#C5}
+  #C7 = 2
+  #C8 = "c"
+  #C9 = self::Enum<core::bool*> {index:#C7, _name:#C8}
+  #C10 = <self::Enum<dynamic>*>[#C3, #C6, #C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///generic_enum_switch.dart:
+- Enum. (from org-dartlang-testcase:///generic_enum_switch.dart:5:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.outline.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.outline.expect
new file mode 100644
index 00000000000..c6c94021d61
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.outline.expect
@@ -0,0 +1,33 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = const <self::Enum<dynamic>>[self::Enum::a, self::Enum::b, self::Enum::c];
+  enum-element static const field self::Enum<core::num> a = const self::Enum::•<core::num>(0, "a");
+  enum-element static const field self::Enum<core::String> b = const self::Enum::•<core::String>(1, "b");
+  enum-element static const field self::Enum<core::bool> c = const self::Enum::•<core::bool>(2, "c");
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic
+  ;
+static method method2(self::Enum<core::num> e) → dynamic
+  ;
+static method method3(self::Enum<core::int> e) → dynamic
+  ;
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic
+  ;
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic
+  ;
+
+
+Extra constant evaluation status:
+Evaluated: ListLiteral @ org-dartlang-testcase:///generic_enum_switch.dart:5:6 -> ListConstant(const <Enum<dynamic>*>[const Enum<num*>{_Enum.index: 0, _Enum._name: "a"}, const Enum<String*>{_Enum.index: 1, _Enum._name: "b"}, const Enum<bool*>{_Enum.index: 2, _Enum._name: "c"}])
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///generic_enum_switch.dart:6:3 -> InstanceConstant(const Enum<num*>{_Enum.index: 0, _Enum._name: "a"})
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///generic_enum_switch.dart:7:3 -> InstanceConstant(const Enum<String*>{_Enum.index: 1, _Enum._name: "b"})
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///generic_enum_switch.dart:8:3 -> InstanceConstant(const Enum<bool*>{_Enum.index: 2, _Enum._name: "c"})
+Extra constant evaluation: evaluated: 9, effectively constant: 4
diff --git a/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.transformed.expect b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.transformed.expect
new file mode 100644
index 00000000000..acc555ae599
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart.weak.transformed.expect
@@ -0,0 +1,202 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:22:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:23:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<num>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:20:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:29:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:30:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:31:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<int>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:28:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:37:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:38:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:39:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:36:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:45:15: Error: Type 'Enum<num>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.a:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:46:15: Error: Type 'Enum<String>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.b:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:47:15: Error: Type 'Enum<bool>' of the case expression is not a subtype of type 'Enum<T>' of this switch expression.
+//  - 'Enum' is from 'pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart'.
+//     case Enum.c:
+//               ^
+// pkg/front_end/testcases/enhanced_enums/generic_enum_switch.dart:44:11: Context: The switch expression is here.
+//   switch (e) {
+//           ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class Enum<T extends core::Object? = dynamic> extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::Enum<dynamic>> values = #C10;
+  enum-element static const field self::Enum<core::num> a = #C3;
+  enum-element static const field self::Enum<core::String> b = #C6;
+  enum-element static const field self::Enum<core::bool> c = #C9;
+  const constructor •(core::int #index, core::String #name) → self::Enum<self::Enum::T%>
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "Enum.${this.{core::_Enum::_name}{core::String}}";
+}
+static method method1(self::Enum<dynamic> e) → dynamic {
+  #L1:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L2:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L1;
+      }
+    #L3:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method2(self::Enum<core::num> e) → dynamic {
+  #L4:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L5:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L4;
+      }
+    #L6:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method3(self::Enum<core::int> e) → dynamic {
+  #L7:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L8:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L7;
+      }
+    #L9:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method4<T extends core::Object? = dynamic>(self::Enum<self::method4::T%> e) → dynamic {
+  #L10:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L11:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L10;
+      }
+    #L12:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+static method method5<T extends core::num>(self::Enum<self::method5::T> e) → dynamic {
+  #L13:
+  switch(e) /*isExplicitlyExhaustive*/ {
+    #L14:
+    case #C3:
+    case #C6:
+    case #C9:
+      {
+        break #L13;
+      }
+    #L15:
+    default:
+      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
+  }
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "a"
+  #C3 = self::Enum<core::num*> {index:#C1, _name:#C2}
+  #C4 = 1
+  #C5 = "b"
+  #C6 = self::Enum<core::String*> {index:#C4, _name:#C5}
+  #C7 = 2
+  #C8 = "c"
+  #C9 = self::Enum<core::bool*> {index:#C7, _name:#C8}
+  #C10 = <self::Enum<dynamic>*>[#C3, #C6, #C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///generic_enum_switch.dart:
+- Enum. (from org-dartlang-testcase:///generic_enum_switch.dart:5:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)