[cfe] Handle erroneous enum constant values in exhaustiveness

Closes #54267

Change-Id: Ic8e86a352725bd35985fbd4685b1c4d446875949
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/345063
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>

pkg/front_end/lib/src/fasta/kernel/exhaustiveness.dart

@@ -382,7 +382,7 @@ class CfeEnumOperations
   }
 
   @override
-  EnumValue getEnumElementValue(Field enumField) {
+  EnumValue? getEnumElementValue(Field enumField) {
     // Enum field initializers might not have been replaced by
     // [ConstantExpression]s. Either because we haven't visited them yet during
     // normal constant evaluation or because they are from outlines that are
@@ -392,7 +392,7 @@ class CfeEnumOperations
     StaticTypeContext context =
         new StaticTypeContext(enumField, _constantEvaluator.typeEnvironment);
     return constantToEnumValue(_constantEvaluator.coreTypes,
-        _constantEvaluator.evaluate(context, enumField.initializer!))!;
+        _constantEvaluator.evaluate(context, enumField.initializer!));
   }
 
   @override

pkg/front_end/testcases/general/issue54267a.dart

@@ -0,0 +1,15 @@
+// Copyright (c) 2024, 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 A {
+  a(0),
+  b(1),
+  final int value;
+  const A(this.value);
+}
+
+int fn(A a) => switch (a) {
+  A.a => 0,
+  A.b => 1,
+};

pkg/front_end/testcases/general/issue54267a.dart.strong.expect

@@ -0,0 +1,76 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t1;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^":
+        {
+          #t1 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^":
+        {
+          #t1 = 1;
+          break #L1;
+        }
+    }
+  } =>#t1;

pkg/front_end/testcases/general/issue54267a.dart.strong.transformed.expect

@@ -0,0 +1,76 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t1;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^":
+        {
+          #t1 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^":
+        {
+          #t1 = 1;
+          break #L1;
+        }
+    }
+  } =>#t1;

pkg/front_end/testcases/general/issue54267a.dart.textual_outline.expect

@@ -0,0 +1,2 @@
+enum A { a(0), b(1), final int value; const A(this.value); }
+int fn(A a) => switch (a) { A.a => 0, A.b => 1, };

pkg/front_end/testcases/general/issue54267a.dart.textual_outline_modelled.expect

@@ -0,0 +1,2 @@
+enum A { a(0), b(1), final int value; const A(this.value); }
+int fn(A a) => switch (a) { A.a => 0, A.b => 1, };

pkg/front_end/testcases/general/issue54267a.dart.weak.expect

@@ -0,0 +1,80 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t1;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^":
+        {
+          #t1 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^":
+        {
+          #t1 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t1;

pkg/front_end/testcases/general/issue54267a.dart.weak.modular.expect

@@ -0,0 +1,80 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t1;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^":
+        {
+          #t1 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^":
+        {
+          #t1 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t1;

pkg/front_end/testcases/general/issue54267a.dart.weak.outline.expect

@@ -0,0 +1,50 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = const <self::A>[self::A::a, self::A::b];
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  ;

pkg/front_end/testcases/general/issue54267a.dart.weak.transformed.expect

@@ -0,0 +1,80 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected an identifier, but got 'final'.
+// Try inserting an identifier before 'final'.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:8:3: Error: Expected '}' before this.
+//   final int value;
+//   ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   a(0),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+// pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+// Try removing the extra positional arguments.
+//   b(1),
+//    ^
+// pkg/front_end/testcases/general/issue54267a.dart:5:6: Context: The class 'A' has a constructor that takes no arguments.
+// enum A {
+//      ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type a = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^";
+  enum-element static const field invalid-type b = invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^";
+  const synthetic constructor •(core::int #index, core::String #name) → self::A
+    : super core::_Enum::•(#index, #name)
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t1;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:6:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  a(0),
+   ^":
+        {
+          #t1 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267a.dart:7:4: Error: Too many positional arguments: 2 allowed, but 3 found.
+Try removing the extra positional arguments.
+  b(1),
+   ^":
+        {
+          #t1 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t1;

pkg/front_end/testcases/general/issue54267b.dart

@@ -0,0 +1,16 @@
+// Copyright (c) 2024, 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 A {
+  a(0),
+  b(1);
+
+  final int value2;
+  const A(this.value);
+}
+
+int fn(A a) => switch (a) {
+      A.a => 0,
+      A.b => 1,
+    };

pkg/front_end/testcases/general/issue54267b.dart.strong.expect

@@ -0,0 +1,64 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267b.dart:9:13: Error: Final field 'value2' is not initialized.
+// Try to initialize the field in the declaration or in every constructor.
+//   final int value2;
+//             ^^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  final field core::int value2 = null;
+  enum-element static const field self::A a = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  enum-element static const field self::A b = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t2;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 1;
+          break #L1;
+        }
+    }
+  } =>#t2;
+
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///issue54267b.dart:
+- A. (from org-dartlang-testcase:///issue54267b.dart:10:9)

pkg/front_end/testcases/general/issue54267b.dart.strong.transformed.expect

@@ -0,0 +1,64 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267b.dart:9:13: Error: Final field 'value2' is not initialized.
+// Try to initialize the field in the declaration or in every constructor.
+//   final int value2;
+//             ^^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  final field core::int value2 = null;
+  enum-element static const field self::A a = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  enum-element static const field self::A b = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t2;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 1;
+          break #L1;
+        }
+    }
+  } =>#t2;
+
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///issue54267b.dart:
+- A. (from org-dartlang-testcase:///issue54267b.dart:10:9)

pkg/front_end/testcases/general/issue54267b.dart.textual_outline.expect

@@ -0,0 +1,12 @@
+enum A {
+  a(0),
+  b(1);
+
+  final int value2;
+  const A(this.value);
+}
+
+int fn(A a) => switch (a) {
+      A.a => 0,
+      A.b => 1,
+    };

pkg/front_end/testcases/general/issue54267b.dart.textual_outline_modelled.expect

@@ -0,0 +1,12 @@
+enum A {
+  a(0),
+  b(1);
+
+  final int value2;
+  const A(this.value);
+}
+
+int fn(A a) => switch (a) {
+      A.a => 0,
+      A.b => 1,
+    };

pkg/front_end/testcases/general/issue54267b.dart.weak.expect

@@ -0,0 +1,68 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267b.dart:9:13: Error: Final field 'value2' is not initialized.
+// Try to initialize the field in the declaration or in every constructor.
+//   final int value2;
+//             ^^^^^^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  final field core::int value2 = null;
+  enum-element static const field self::A a = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  enum-element static const field self::A b = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t2;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t2;
+
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///issue54267b.dart:
+- A. (from org-dartlang-testcase:///issue54267b.dart:10:9)

pkg/front_end/testcases/general/issue54267b.dart.weak.modular.expect

@@ -0,0 +1,68 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267b.dart:9:13: Error: Final field 'value2' is not initialized.
+// Try to initialize the field in the declaration or in every constructor.
+//   final int value2;
+//             ^^^^^^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  final field core::int value2 = null;
+  enum-element static const field self::A a = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  enum-element static const field self::A b = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t2;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t2;
+
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///issue54267b.dart:
+- A. (from org-dartlang-testcase:///issue54267b.dart:10:9)

pkg/front_end/testcases/general/issue54267b.dart.weak.outline.expect

@@ -0,0 +1,26 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = const <self::A>[self::A::a, self::A::b];
+  final field core::int value2;
+  enum-element static const field self::A a = const self::A::•(0, "a", 0);
+  enum-element static const field self::A b = const self::A::•(1, "b", 1);
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  ;

pkg/front_end/testcases/general/issue54267b.dart.weak.transformed.expect

@@ -0,0 +1,68 @@
+library;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+//   const A(this.value);
+//                ^^^^^
+//
+// pkg/front_end/testcases/general/issue54267b.dart:9:13: Error: Final field 'value2' is not initialized.
+// Try to initialize the field in the declaration or in every constructor.
+//   final int value2;
+//             ^^^^^^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+class A extends core::_Enum /*isEnum*/  {
+  static const field core::List<self::A> values = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  final field core::int value2 = null;
+  enum-element static const field self::A a = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  enum-element static const field self::A b = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^";
+  const constructor •(core::int #index, core::String #name, dynamic value) → self::A
+    : final dynamic #t1 = invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^"
+    ;
+  method _enumToString() → core::String
+    return "A.${this.{core::_Enum::_name}{core::String}}";
+}
+static method fn(self::A a) → core::int
+  return block {
+    core::int #t2;
+    #L1:
+    switch(a) /* isExplicitlyExhaustive, self::A */ {
+      #L2:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 0;
+          break #L1;
+        }
+      #L3:
+      case invalid-expression "pkg/front_end/testcases/general/issue54267b.dart:10:16: Error: 'value' isn't an instance field of this class.
+  const A(this.value);
+               ^^^^^":
+        {
+          #t2 = 1;
+          break #L1;
+        }
+      #L4:
+      default:
+        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
+    }
+  } =>#t2;
+
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///issue54267b.dart:
+- A. (from org-dartlang-testcase:///issue54267b.dart:10:9)