Version 2.17.0-27.0.dev
Merge commit 'df0f4761773fba9b21ff47ad3863145f73fa366e' into 'dev'
diff --git a/pkg/_fe_analyzer_shared/lib/src/messages/codes_generated.dart b/pkg/_fe_analyzer_shared/lib/src/messages/codes_generated.dart
index 754214a..7f4e321 100644
--- a/pkg/_fe_analyzer_shared/lib/src/messages/codes_generated.dart
+++ b/pkg/_fe_analyzer_shared/lib/src/messages/codes_generated.dart
@@ -2807,6 +2807,30 @@
problemMessage: r"""Enums can't be instantiated.""");
// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Template<Message Function(String name)>
+ templateEnumSupertypeOfNonAbstractClass =
+ const Template<Message Function(String name)>(
+ problemMessageTemplate:
+ r"""Non-abstract class '#name' has 'Enum' as a superinterface.""",
+ withArguments: _withArgumentsEnumSupertypeOfNonAbstractClass);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Message Function(String name)> codeEnumSupertypeOfNonAbstractClass =
+ const Code<Message Function(String name)>(
+ "EnumSupertypeOfNonAbstractClass",
+);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+Message _withArgumentsEnumSupertypeOfNonAbstractClass(String name) {
+ if (name.isEmpty) throw 'No name provided';
+ name = demangleMixinApplicationName(name);
+ return new Message(codeEnumSupertypeOfNonAbstractClass,
+ problemMessage:
+ """Non-abstract class '${name}' has 'Enum' as a superinterface.""",
+ arguments: {'name': name});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
const Code<Null> codeEqualityCannotBeEqualityOperand =
messageEqualityCannotBeEqualityOperand;
diff --git a/pkg/front_end/lib/src/fasta/denylisted_classes.dart b/pkg/front_end/lib/src/fasta/denylisted_classes.dart
index 5df3707..345ec12 100644
--- a/pkg/front_end/lib/src/fasta/denylisted_classes.dart
+++ b/pkg/front_end/lib/src/fasta/denylisted_classes.dart
@@ -8,7 +8,6 @@
"int",
"num",
"double",
- "Enum",
"String",
"Null"
];
diff --git a/pkg/front_end/lib/src/fasta/source/source_loader.dart b/pkg/front_end/lib/src/fasta/source/source_loader.dart
index d764604..9795167 100644
--- a/pkg/front_end/lib/src/fasta/source/source_loader.dart
+++ b/pkg/front_end/lib/src/fasta/source/source_loader.dart
@@ -1648,6 +1648,8 @@
denylistedCoreClasses[i],
required: true) as ClassBuilder);
}
+ ClassBuilder enumClass =
+ coreLibrary.lookupLocalMember("Enum", required: true) as ClassBuilder;
if (typedDataLibrary != null) {
for (int i = 0; i < denylistedTypedDataClasses.length; i++) {
// Allow the member to not exist. If it doesn't, nobody can extend it.
@@ -1664,8 +1666,8 @@
topologicalSort(classGraph);
List<SourceClassBuilder> classes = result.sortedVertices;
for (SourceClassBuilder cls in classes) {
- checkClassSupertypes(
- cls, classGraph.directSupertypeMap[cls]!, denyListedClasses);
+ checkClassSupertypes(cls, classGraph.directSupertypeMap[cls]!,
+ denyListedClasses, enumClass);
}
List<SourceClassBuilder> classesWithCycles = result.cyclicVertices;
@@ -1708,10 +1710,30 @@
}
}
+ bool checkEnumSupertypeIsDenylisted(SourceClassBuilder cls) {
+ if (!cls.library.enableEnhancedEnumsInLibrary) {
+ cls.addProblem(
+ templateExperimentNotEnabled.withArguments('enhanced-enums',
+ cls.library.enableEnhancedEnumsVersionInLibrary.toText()),
+ cls.charOffset,
+ noLength);
+ return true;
+ } else {
+ if (!cls.isAbstract) {
+ cls.addProblem(
+ templateEnumSupertypeOfNonAbstractClass.withArguments(cls.name),
+ cls.charOffset,
+ noLength);
+ }
+ return false;
+ }
+ }
+
void checkClassSupertypes(
SourceClassBuilder cls,
Map<TypeDeclarationBuilder?, TypeAliasBuilder?> directSupertypeMap,
- Set<ClassBuilder> denyListedClasses) {
+ Set<ClassBuilder> denyListedClasses,
+ ClassBuilder enumClass) {
// Check that the direct supertypes aren't deny-listed or enums.
List<TypeDeclarationBuilder?> directSupertypes =
directSupertypeMap.keys.toList();
@@ -1721,7 +1743,9 @@
cls.addProblem(templateExtendingEnum.withArguments(supertype.name),
cls.charOffset, noLength);
} else if (!cls.library.mayImplementRestrictedTypes &&
- denyListedClasses.contains(supertype)) {
+ (denyListedClasses.contains(supertype) ||
+ identical(supertype, enumClass) &&
+ checkEnumSupertypeIsDenylisted(cls))) {
TypeAliasBuilder? aliasBuilder = directSupertypeMap[supertype];
if (aliasBuilder != null) {
cls.addProblem(
diff --git a/pkg/front_end/messages.status b/pkg/front_end/messages.status
index 0c1fb2b..c7e820f 100644
--- a/pkg/front_end/messages.status
+++ b/pkg/front_end/messages.status
@@ -218,6 +218,8 @@
EnumDeclaresFactory/analyzerCode: Fail
EnumDeclaresFactory/example: Fail
EnumInstantiation/example: Fail
+EnumSupertypeOfNonAbstractClass/analyzerCode: Fail
+EnumSupertypeOfNonAbstractClass/example: Fail
EqualityCannotBeEqualityOperand/part_wrapped_script1: Fail
EqualityCannotBeEqualityOperand/part_wrapped_script2: Fail
EqualityCannotBeEqualityOperand/script1: Fail
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
index 8ba9698..55b8acb6 100644
--- a/pkg/front_end/messages.yaml
+++ b/pkg/front_end/messages.yaml
@@ -5455,3 +5455,6 @@
SuperInitializerParameter:
problemMessage: "This is the super-initializer parameter."
severity: CONTEXT
+
+EnumSupertypeOfNonAbstractClass:
+ problemMessage: "Non-abstract class '#name' has 'Enum' as a superinterface."
diff --git a/pkg/front_end/test/spell_checking_list_messages.txt b/pkg/front_end/test/spell_checking_list_messages.txt
index 30bf90d..f38dd3a 100644
--- a/pkg/front_end/test/spell_checking_list_messages.txt
+++ b/pkg/front_end/test/spell_checking_list_messages.txt
@@ -75,6 +75,7 @@
struct<#name
structs
super.namedconstructor
+superinterface
supermixin
team
this.namedconstructor
diff --git a/pkg/front_end/test/spell_checking_list_tests.txt b/pkg/front_end/test/spell_checking_list_tests.txt
index 3a7144f..54f7ba1 100644
--- a/pkg/front_end/test/spell_checking_list_tests.txt
+++ b/pkg/front_end/test/spell_checking_list_tests.txt
@@ -321,7 +321,9 @@
dyn
e's
e2e
+ea
ease
+eb
ec
echo
edits
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart
new file mode 100644
index 0000000..ddee41a
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart
@@ -0,0 +1,40 @@
+// 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.
+
+abstract class A extends Enum { // Ok.
+ int get foo => index;
+}
+
+enum EA with A { element }
+
+abstract class B implements Enum { // Ok.
+ int get foo => index;
+}
+
+enum EB with B { element }
+
+mixin M on Enum { // Ok.
+ int get foo => index;
+}
+
+enum EM with M { element }
+
+mixin N implements Enum { // Ok.
+ int get foo => index;
+}
+
+enum EN with N { element }
+
+expectEquals(x, y) {
+ if (x != y) {
+ throw "Expected '$x' to be equal to '$y'.";
+ }
+}
+
+main() {
+ expectEquals(EA.element.foo, EA.element.index);
+ expectEquals(EB.element.foo, EB.element.index);
+ expectEquals(EM.element.foo, EM.element.index);
+ expectEquals(EN.element.foo, EN.element.index);
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.expect
new file mode 100644
index 0000000..95879d2
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.expect
@@ -0,0 +1,128 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EA&_Enum&A = core::_Enum with self::A /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::A::foo};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = #C4;
+ static const field self::EA element = #C3;
+ const constructor •(core::int index, core::String name) → self::EA
+ : super self::_EA&_Enum&A::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EB&_Enum&B = core::_Enum with self::B /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::B::foo};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = #C6;
+ static const field self::EB element = #C5;
+ const constructor •(core::int index, core::String name) → self::EB
+ : super self::_EB&_Enum&B::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EM&_Enum&M = core::_Enum with self::M /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::M::foo};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = #C8;
+ static const field self::EM element = #C7;
+ const constructor •(core::int index, core::String name) → self::EM
+ : super self::_EM&_Enum&M::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EN&_Enum&N = core::_Enum with self::N /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::N::foo};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = #C10;
+ static const field self::EN element = #C9;
+ const constructor •(core::int index, core::String name) → self::EN
+ : super self::_EN&_Enum&N::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+ if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+ throw "Expected '${x}' to be equal to '${y}'.";
+ }
+}
+static method main() → dynamic {
+ self::expectEquals(#C3.{self::_EA&_Enum&A::foo}{core::int}, #C3.{core::_Enum::index}{core::int});
+ self::expectEquals(#C5.{self::_EB&_Enum&B::foo}{core::int}, #C5.{core::_Enum::index}{core::int});
+ self::expectEquals(#C7.{self::_EM&_Enum&M::foo}{core::int}, #C7.{core::_Enum::index}{core::int});
+ self::expectEquals(#C9.{self::_EN&_Enum&N::foo}{core::int}, #C9.{core::_Enum::index}{core::int});
+}
+
+constants {
+ #C1 = 0
+ #C2 = "element"
+ #C3 = self::EA {index:#C1, _name:#C2}
+ #C4 = <self::EA>[#C3]
+ #C5 = self::EB {index:#C1, _name:#C2}
+ #C6 = <self::EB>[#C5]
+ #C7 = self::EM {index:#C1, _name:#C2}
+ #C8 = <self::EM>[#C7]
+ #C9 = self::EN {index:#C1, _name:#C2}
+ #C10 = <self::EN>[#C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///enum_as_supertype.dart:
+- EA. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _EA&_Enum&A. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:76:9)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)
+- EB. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- _EB&_Enum&B. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- EM. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- _EM&_Enum&M. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- EN. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
+- _EN&_Enum&N. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.transformed.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.transformed.expect
new file mode 100644
index 0000000..d680f8a
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.strong.transformed.expect
@@ -0,0 +1,128 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EA&_Enum&A extends core::_Enum implements self::A /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = #C4;
+ static const field self::EA element = #C3;
+ const constructor •(core::int index, core::String name) → self::EA
+ : super self::_EA&_Enum&A::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EB&_Enum&B extends core::_Enum implements self::B /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = #C6;
+ static const field self::EB element = #C5;
+ const constructor •(core::int index, core::String name) → self::EB
+ : super self::_EB&_Enum&B::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EM&_Enum&M extends core::_Enum implements self::M /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = #C8;
+ static const field self::EM element = #C7;
+ const constructor •(core::int index, core::String name) → self::EM
+ : super self::_EM&_Enum&M::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EN&_Enum&N extends core::_Enum implements self::N /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = #C10;
+ static const field self::EN element = #C9;
+ const constructor •(core::int index, core::String name) → self::EN
+ : super self::_EN&_Enum&N::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+ if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+ throw "Expected '${x}' to be equal to '${y}'.";
+ }
+}
+static method main() → dynamic {
+ self::expectEquals(#C3.{self::_EA&_Enum&A::foo}{core::int}, #C3.{core::_Enum::index}{core::int});
+ self::expectEquals(#C5.{self::_EB&_Enum&B::foo}{core::int}, #C5.{core::_Enum::index}{core::int});
+ self::expectEquals(#C7.{self::_EM&_Enum&M::foo}{core::int}, #C7.{core::_Enum::index}{core::int});
+ self::expectEquals(#C9.{self::_EN&_Enum&N::foo}{core::int}, #C9.{core::_Enum::index}{core::int});
+}
+
+constants {
+ #C1 = 0
+ #C2 = "element"
+ #C3 = self::EA {index:#C1, _name:#C2}
+ #C4 = <self::EA>[#C3]
+ #C5 = self::EB {index:#C1, _name:#C2}
+ #C6 = <self::EB>[#C5]
+ #C7 = self::EM {index:#C1, _name:#C2}
+ #C8 = <self::EM>[#C7]
+ #C9 = self::EN {index:#C1, _name:#C2}
+ #C10 = <self::EN>[#C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///enum_as_supertype.dart:
+- EA. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _EA&_Enum&A. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:76:9)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)
+- EB. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- _EB&_Enum&B. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- EM. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- _EM&_Enum&M. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- EN. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
+- _EN&_Enum&N. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.textual_outline.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.textual_outline.expect
new file mode 100644
index 0000000..4344750
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.textual_outline.expect
@@ -0,0 +1,18 @@
+abstract class A extends Enum {
+ int get foo => index;
+}
+enum EA with A { element }
+abstract class B implements Enum {
+ int get foo => index;
+}
+enum EB with B { element }
+mixin M on Enum {
+ int get foo => index;
+}
+enum EM with M { element }
+mixin N implements Enum {
+ int get foo => index;
+}
+enum EN with N { element }
+expectEquals(x, y) {}
+main() {}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.expect
new file mode 100644
index 0000000..f8907f3
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.expect
@@ -0,0 +1,128 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EA&_Enum&A = core::_Enum with self::A /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::A::foo};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = #C4;
+ static const field self::EA element = #C3;
+ const constructor •(core::int index, core::String name) → self::EA
+ : super self::_EA&_Enum&A::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EB&_Enum&B = core::_Enum with self::B /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::B::foo};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = #C6;
+ static const field self::EB element = #C5;
+ const constructor •(core::int index, core::String name) → self::EB
+ : super self::_EB&_Enum&B::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EM&_Enum&M = core::_Enum with self::M /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::M::foo};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = #C8;
+ static const field self::EM element = #C7;
+ const constructor •(core::int index, core::String name) → self::EM
+ : super self::_EM&_Enum&M::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EN&_Enum&N = core::_Enum with self::N /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::N::foo};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = #C10;
+ static const field self::EN element = #C9;
+ const constructor •(core::int index, core::String name) → self::EN
+ : super self::_EN&_Enum&N::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+ if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+ throw "Expected '${x}' to be equal to '${y}'.";
+ }
+}
+static method main() → dynamic {
+ self::expectEquals(#C3.{self::_EA&_Enum&A::foo}{core::int}, #C3.{core::_Enum::index}{core::int});
+ self::expectEquals(#C5.{self::_EB&_Enum&B::foo}{core::int}, #C5.{core::_Enum::index}{core::int});
+ self::expectEquals(#C7.{self::_EM&_Enum&M::foo}{core::int}, #C7.{core::_Enum::index}{core::int});
+ self::expectEquals(#C9.{self::_EN&_Enum&N::foo}{core::int}, #C9.{core::_Enum::index}{core::int});
+}
+
+constants {
+ #C1 = 0
+ #C2 = "element"
+ #C3 = self::EA {index:#C1, _name:#C2}
+ #C4 = <self::EA*>[#C3]
+ #C5 = self::EB {index:#C1, _name:#C2}
+ #C6 = <self::EB*>[#C5]
+ #C7 = self::EM {index:#C1, _name:#C2}
+ #C8 = <self::EM*>[#C7]
+ #C9 = self::EN {index:#C1, _name:#C2}
+ #C10 = <self::EN*>[#C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///enum_as_supertype.dart:
+- EA. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _EA&_Enum&A. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:76:9)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)
+- EB. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- _EB&_Enum&B. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- EM. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- _EM&_Enum&M. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- EN. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
+- _EN&_Enum&N. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.modular.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.modular.expect
new file mode 100644
index 0000000..f8907f3
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.modular.expect
@@ -0,0 +1,128 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EA&_Enum&A = core::_Enum with self::A /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::A::foo};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = #C4;
+ static const field self::EA element = #C3;
+ const constructor •(core::int index, core::String name) → self::EA
+ : super self::_EA&_Enum&A::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EB&_Enum&B = core::_Enum with self::B /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::B::foo};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = #C6;
+ static const field self::EB element = #C5;
+ const constructor •(core::int index, core::String name) → self::EB
+ : super self::_EB&_Enum&B::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EM&_Enum&M = core::_Enum with self::M /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::M::foo};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = #C8;
+ static const field self::EM element = #C7;
+ const constructor •(core::int index, core::String name) → self::EM
+ : super self::_EM&_Enum&M::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EN&_Enum&N = core::_Enum with self::N /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::N::foo};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = #C10;
+ static const field self::EN element = #C9;
+ const constructor •(core::int index, core::String name) → self::EN
+ : super self::_EN&_Enum&N::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+ if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+ throw "Expected '${x}' to be equal to '${y}'.";
+ }
+}
+static method main() → dynamic {
+ self::expectEquals(#C3.{self::_EA&_Enum&A::foo}{core::int}, #C3.{core::_Enum::index}{core::int});
+ self::expectEquals(#C5.{self::_EB&_Enum&B::foo}{core::int}, #C5.{core::_Enum::index}{core::int});
+ self::expectEquals(#C7.{self::_EM&_Enum&M::foo}{core::int}, #C7.{core::_Enum::index}{core::int});
+ self::expectEquals(#C9.{self::_EN&_Enum&N::foo}{core::int}, #C9.{core::_Enum::index}{core::int});
+}
+
+constants {
+ #C1 = 0
+ #C2 = "element"
+ #C3 = self::EA {index:#C1, _name:#C2}
+ #C4 = <self::EA*>[#C3]
+ #C5 = self::EB {index:#C1, _name:#C2}
+ #C6 = <self::EB*>[#C5]
+ #C7 = self::EM {index:#C1, _name:#C2}
+ #C8 = <self::EM*>[#C7]
+ #C9 = self::EN {index:#C1, _name:#C2}
+ #C10 = <self::EN*>[#C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///enum_as_supertype.dart:
+- EA. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _EA&_Enum&A. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:76:9)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)
+- EB. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- _EB&_Enum&B. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- EM. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- _EM&_Enum&M. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- EN. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
+- _EN&_Enum&N. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.outline.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.outline.expect
new file mode 100644
index 0000000..dbfdd01
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.outline.expect
@@ -0,0 +1,100 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ ;
+ get foo() → core::int
+ ;
+}
+abstract class _EA&_Enum&A = core::_Enum with self::A /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::A::foo};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = const <self::EA>[self::EA::element];
+ static const field self::EA element = const self::EA::•(0, "element");
+ const constructor •(core::int index, core::String name) → self::EA
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ ;
+ get foo() → core::int
+ ;
+}
+abstract class _EB&_Enum&B = core::_Enum with self::B /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::B::foo};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = const <self::EB>[self::EB::element];
+ static const field self::EB element = const self::EB::•(0, "element");
+ const constructor •(core::int index, core::String name) → self::EB
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ ;
+}
+abstract class _EM&_Enum&M = core::_Enum with self::M /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::M::foo};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = const <self::EM>[self::EM::element];
+ static const field self::EM element = const self::EM::•(0, "element");
+ const constructor •(core::int index, core::String name) → self::EM
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ ;
+}
+abstract class _EN&_Enum&N = core::_Enum with self::N /*isAnonymousMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ mixin-super-stub get foo() → core::int
+ return super.{self::N::foo};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = const <self::EN>[self::EN::element];
+ static const field self::EN element = const self::EN::•(0, "element");
+ const constructor •(core::int index, core::String name) → self::EN
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic
+ ;
+static method main() → dynamic
+ ;
+
+
+Extra constant evaluation status:
+Evaluated: ListLiteral @ org-dartlang-testcase:///enum_as_supertype.dart:9:6 -> ListConstant(const <EA*>[const EA{}])
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///enum_as_supertype.dart:9:18 -> InstanceConstant(const EA{})
+Evaluated: ListLiteral @ org-dartlang-testcase:///enum_as_supertype.dart:15:6 -> ListConstant(const <EB*>[const EB{}])
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///enum_as_supertype.dart:15:18 -> InstanceConstant(const EB{})
+Evaluated: ListLiteral @ org-dartlang-testcase:///enum_as_supertype.dart:21:6 -> ListConstant(const <EM*>[const EM{}])
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///enum_as_supertype.dart:21:18 -> InstanceConstant(const EM{})
+Evaluated: ListLiteral @ org-dartlang-testcase:///enum_as_supertype.dart:27:6 -> ListConstant(const <EN*>[const EN{}])
+Evaluated: ConstructorInvocation @ org-dartlang-testcase:///enum_as_supertype.dart:27:18 -> InstanceConstant(const EN{})
+Extra constant evaluation: evaluated: 20, effectively constant: 8
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.transformed.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.transformed.expect
new file mode 100644
index 0000000..4417c2a
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype.dart.weak.transformed.expect
@@ -0,0 +1,128 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+abstract class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EA&_Enum&A extends core::_Enum implements self::A /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EA&_Enum&A
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EA extends self::_EA&_Enum&A /*isEnum*/ {
+ static const field core::List<self::EA> values = #C4;
+ static const field self::EA element = #C3;
+ const constructor •(core::int index, core::String name) → self::EA
+ : super self::_EA&_Enum&A::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EB&_Enum&B extends core::_Enum implements self::B /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EB&_Enum&B
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EB extends self::_EB&_Enum&B /*isEnum*/ {
+ static const field core::List<self::EB> values = #C6;
+ static const field self::EB element = #C5;
+ const constructor •(core::int index, core::String name) → self::EB
+ : super self::_EB&_Enum&B::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class M extends core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EM&_Enum&M extends core::_Enum implements self::M /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EM&_Enum&M
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EM extends self::_EM&_Enum&M /*isEnum*/ {
+ static const field core::List<self::EM> values = #C8;
+ static const field self::EM element = #C7;
+ const constructor •(core::int index, core::String name) → self::EM
+ : super self::_EM&_Enum&M::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+abstract class N extends core::Object implements core::Enum /*isMixinDeclaration*/ {
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+abstract class _EN&_Enum&N extends core::_Enum implements self::N /*isAnonymousMixin,isEliminatedMixin,hasConstConstructor*/ {
+ const synthetic constructor •(core::int index, core::String _name) → self::_EN&_Enum&N
+ : super core::_Enum::•(index, _name)
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+}
+class EN extends self::_EN&_Enum&N /*isEnum*/ {
+ static const field core::List<self::EN> values = #C10;
+ static const field self::EN element = #C9;
+ const constructor •(core::int index, core::String name) → self::EN
+ : super self::_EN&_Enum&N::•(index, name)
+ ;
+ method toString() → core::String
+ ;
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+ if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+ throw "Expected '${x}' to be equal to '${y}'.";
+ }
+}
+static method main() → dynamic {
+ self::expectEquals(#C3.{self::_EA&_Enum&A::foo}{core::int}, #C3.{core::_Enum::index}{core::int});
+ self::expectEquals(#C5.{self::_EB&_Enum&B::foo}{core::int}, #C5.{core::_Enum::index}{core::int});
+ self::expectEquals(#C7.{self::_EM&_Enum&M::foo}{core::int}, #C7.{core::_Enum::index}{core::int});
+ self::expectEquals(#C9.{self::_EN&_Enum&N::foo}{core::int}, #C9.{core::_Enum::index}{core::int});
+}
+
+constants {
+ #C1 = 0
+ #C2 = "element"
+ #C3 = self::EA {index:#C1, _name:#C2}
+ #C4 = <self::EA*>[#C3]
+ #C5 = self::EB {index:#C1, _name:#C2}
+ #C6 = <self::EB*>[#C5]
+ #C7 = self::EM {index:#C1, _name:#C2}
+ #C8 = <self::EM*>[#C7]
+ #C9 = self::EN {index:#C1, _name:#C2}
+ #C10 = <self::EN*>[#C9]
+}
+
+
+Constructor coverage from constants:
+org-dartlang-testcase:///enum_as_supertype.dart:
+- EA. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _EA&_Enum&A. (from org-dartlang-testcase:///enum_as_supertype.dart:9:6)
+- _Enum. (from org-dartlang-sdk:///sdk/lib/core/enum.dart:76:9)
+- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)
+- EB. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- _EB&_Enum&B. (from org-dartlang-testcase:///enum_as_supertype.dart:15:6)
+- EM. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- _EM&_Enum&M. (from org-dartlang-testcase:///enum_as_supertype.dart:21:6)
+- EN. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
+- _EN&_Enum&N. (from org-dartlang-testcase:///enum_as_supertype.dart:27:6)
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart
new file mode 100644
index 0000000..7d0f370
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart
@@ -0,0 +1,13 @@
+// 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.
+
+class A extends Enum { // Error.
+ int get foo => index;
+}
+
+class B implements Enum { // Error.
+ int get foo => index;
+}
+
+main() {}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.expect
new file mode 100644
index 0000000..8e7b231
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.expect
@@ -0,0 +1,69 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic {}
+
+constants {
+ #C1 = #org-dartlang-testcase:///enum_as_supertype_error.dart::_name
+ #C2 = <core::Type*>[]
+ #C3 = <dynamic>[]
+ #C4 = <core::Symbol*, dynamic>{)
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.transformed.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.transformed.expect
new file mode 100644
index 0000000..8e7b231
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.strong.transformed.expect
@@ -0,0 +1,69 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic {}
+
+constants {
+ #C1 = #org-dartlang-testcase:///enum_as_supertype_error.dart::_name
+ #C2 = <core::Type*>[]
+ #C3 = <dynamic>[]
+ #C4 = <core::Symbol*, dynamic>{)
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline.expect
new file mode 100644
index 0000000..585427e
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline.expect
@@ -0,0 +1,9 @@
+class A extends Enum {
+ int get foo => index;
+}
+
+class B implements Enum {
+ int get foo => index;
+}
+
+main() {}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline_modelled.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline_modelled.expect
new file mode 100644
index 0000000..585427e
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.textual_outline_modelled.expect
@@ -0,0 +1,9 @@
+class A extends Enum {
+ int get foo => index;
+}
+
+class B implements Enum {
+ int get foo => index;
+}
+
+main() {}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.expect
new file mode 100644
index 0000000..8e7b231
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.expect
@@ -0,0 +1,69 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic {}
+
+constants {
+ #C1 = #org-dartlang-testcase:///enum_as_supertype_error.dart::_name
+ #C2 = <core::Type*>[]
+ #C3 = <dynamic>[]
+ #C4 = <core::Symbol*, dynamic>{)
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.modular.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.modular.expect
new file mode 100644
index 0000000..8e7b231
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.modular.expect
@@ -0,0 +1,69 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic {}
+
+constants {
+ #C1 = #org-dartlang-testcase:///enum_as_supertype_error.dart::_name
+ #C2 = <core::Type*>[]
+ #C3 = <dynamic>[]
+ #C4 = <core::Symbol*, dynamic>{)
+}
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.outline.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.outline.expect
new file mode 100644
index 0000000..08bae2f
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.outline.expect
@@ -0,0 +1,73 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ ;
+ get foo() → core::int
+ ;
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#_name, 1, const <core::Type*>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ ;
+ get foo() → core::int
+ ;
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#_name, 1, const <core::Type*>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic
+ ;
+
+
+Extra constant evaluation status:
+Evaluated: SymbolLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> SymbolConstant(#_name)
+Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> ListConstant(const <Type*>[])
+Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> ListConstant(const <dynamic>[])
+Evaluated: MapLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> MapConstant(const <Symbol*, dynamic>{})
+Evaluated: SymbolLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> SymbolConstant(#_name)
+Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> ListConstant(const <Type*>[])
+Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> ListConstant(const <dynamic>[])
+Evaluated: MapLiteral @ org-dartlang-sdk:///sdk/lib/core/enum.dart:47:14 -> MapConstant(const <Symbol*, dynamic>{})
+Extra constant evaluation: evaluated: 18, effectively constant: 8
diff --git a/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.transformed.expect b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.transformed.expect
new file mode 100644
index 0000000..8e7b231
--- /dev/null
+++ b/pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart.weak.transformed.expect
@@ -0,0 +1,69 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: Non-abstract class 'A' has 'Enum' as a superinterface.
+// class A extends Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: Non-abstract class 'B' has 'Enum' as a superinterface.
+// class B implements Enum { // Error.
+// ^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:5:7: Error: The non-abstract class 'A' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class A extends Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+// pkg/front_end/testcases/enhanced_enums/enum_as_supertype_error.dart:9:7: Error: The non-abstract class 'B' is missing implementations for these members:
+// - Enum.index
+// Try to either
+// - provide an implementation,
+// - inherit an implementation from a superclass or mixin,
+// - mark the class as abstract, or
+// - provide a 'noSuchMethod' implementation.
+//
+// class B implements Enum { // Error.
+// ^
+// sdk/lib/core/enum.dart:22:11: Context: 'Enum.index' is defined here.
+// int get index;
+// ^^^^^
+//
+import self as self;
+import "dart:core" as core;
+
+class A extends core::Enum {
+ synthetic constructor •() → self::A
+ : super core::Enum::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+class B extends core::Object implements core::Enum {
+ synthetic constructor •() → self::B
+ : super core::Object::•()
+ ;
+ get foo() → core::int
+ return this.{core::Enum::index}{core::int};
+ no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/core/enum.dart */ _name() → core::String
+ return this.{core::Object::noSuchMethod}(new core::_InvocationMirror::_withType(#C1, 1, #C2, #C3, core::Map::unmodifiable<core::Symbol*, dynamic>(#C4))){(core::Invocation) → dynamic} as{TypeError,ForDynamic,ForNonNullableByDefault} core::String;
+}
+static method main() → dynamic {}
+
+constants {
+ #C1 = #org-dartlang-testcase:///enum_as_supertype_error.dart::_name
+ #C2 = <core::Type*>[]
+ #C3 = <dynamic>[]
+ #C4 = <core::Symbol*, dynamic>{)
+}
diff --git a/pkg/front_end/testcases/strong.status b/pkg/front_end/testcases/strong.status
index f57bbdf..de5dad0 100644
--- a/pkg/front_end/testcases/strong.status
+++ b/pkg/front_end/testcases/strong.status
@@ -15,6 +15,7 @@
constructor_tearoffs/call_instantiation: TypeCheckError
constructor_tearoffs/lowering/invalid_redirect: VerificationError
+enhanced_enums/enum_as_supertype: RuntimeError
enhanced_enums/simple_mixins: RuntimeError
extension_types/access_setter_as_getter: ExpectationFileMismatchSerialized # Expected.
extension_types/call_not_get: ExpectationFileMismatchSerialized # Expected.
diff --git a/pkg/front_end/testcases/text_serialization.status b/pkg/front_end/testcases/text_serialization.status
index 5a838fa..3630e3a 100644
--- a/pkg/front_end/testcases/text_serialization.status
+++ b/pkg/front_end/testcases/text_serialization.status
@@ -8,6 +8,7 @@
constructor_tearoffs/call_instantiation: TypeCheckError
constructor_tearoffs/lowering/invalid_redirect: VerificationError
+enhanced_enums/enum_as_supertype: RuntimeError
enhanced_enums/simple_mixins: RuntimeError
extension_types/access_setter_as_getter: ExpectationFileMismatchSerialized # Expected.
extension_types/call_not_get: ExpectationFileMismatchSerialized # Expected.
diff --git a/pkg/front_end/testcases/textual_outline.status b/pkg/front_end/testcases/textual_outline.status
index 0895121..1995742 100644
--- a/pkg/front_end/testcases/textual_outline.status
+++ b/pkg/front_end/testcases/textual_outline.status
@@ -29,6 +29,7 @@
dart2js/late_fields: FormatterCrash
dart2js/late_statics: FormatterCrash
enhanced_enums/entries_with_type_arguments: FormatterCrash
+enhanced_enums/enum_as_supertype: FormatterCrash
enhanced_enums/inference_in_constructor_parameters: FormatterCrash
enhanced_enums/instantiated_generic_enum_types: FormatterCrash
enhanced_enums/issue48084: FormatterCrash
diff --git a/pkg/front_end/testcases/weak.status b/pkg/front_end/testcases/weak.status
index f75594a..c71436c 100644
--- a/pkg/front_end/testcases/weak.status
+++ b/pkg/front_end/testcases/weak.status
@@ -22,6 +22,7 @@
constructor_tearoffs/call_instantiation: TypeCheckError
constructor_tearoffs/lowering/invalid_redirect: VerificationError
+enhanced_enums/enum_as_supertype: RuntimeError
enhanced_enums/simple_mixins: RuntimeError
extension_types/access_setter_as_getter: ExpectationFileMismatchSerialized # Expected.
extension_types/call_not_get: ExpectationFileMismatchSerialized # Expected.
diff --git a/tools/VERSION b/tools/VERSION
index 90e394e..9aa63f0 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -27,5 +27,5 @@
MAJOR 2
MINOR 17
PATCH 0
-PRERELEASE 26
+PRERELEASE 27
PRERELEASE_PATCH 0
\ No newline at end of file
