co19/LanguageFeatures/Enhanced-Enum/factory_constructor_A01_t02

[scheglov]

Note

FAILED: dart2analyzer-none release_arm64 co19/LanguageFeatures/Enhanced-Enum/factory_constructor_A01_t02
Expected: Pass
Actual: MissingCompileTimeError

--- Command "dart2analyzer" (took 689ms):
DART_CONFIGURATION=ReleaseARM64 sdk/bin/dart --packages=.dart_tool/package_config.json pkg/analyzer_cli/bin/analyzer.dart --use-analysis-driver-memory-byte-store --dart-sdk=/Users/scheglov/Source/Dart/sdk.git/sdk/sdk -Dtest_runner.configuration=custom-configuration-1 --enable-experiment=inline-class --ignore-unrecognized-flags --packages=/Users/scheglov/Source/Dart/sdk.git/sdk/.dart_tool/package_config.json --format=json /Users/scheglov/Source/Dart/sdk.git/sdk/tests/co19/src/LanguageFeatures/Enhanced-Enum/factory_constructor_A01_t02.dart

static error failures:
- Unexpected error at line 26, column 9, length 2: COMPILE_TIME_ERROR.RECURSIVE_CONSTANT_CONSTRUCTOR

--- Re-run this test:
python3 tools/test.py -m release -c dart2analyzer -a arm64 co19/LanguageFeatures/Enhanced-Enum/factory_constructor_A01_t02

enum E {
  e1.foo();
//   ^^^
// [analyzer] unspecified
// [cfe] unspecified

  const E();
  const factory E.foo() = ET.foo;
}

extension type const ET(E it) implements E {
  const ET.foo() : this(E.e1);
}

[eernstg]

I guess it's a matter of convenience: The analyzer could report that the declaration of E.e1 has a cyclic dependency, or it could report that it is an error (a brand new one, btw) that e1.foo() implicitly invokes a factory constructor (it must be a generative constructor), or it could report both.

[scheglov]

Yes, https://dart-review.googlesource.com/c/sdk/+/337608 will report this new error, here and in factory_constructor_A01_t01. But here we also have the generic constant cycle error.