co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A10_t13

[scheglov]

Code

enum E {
  e1, e2;

  int get eGetter => 0;
}

typedef EAlias = E;

extension type ET2<T extends Enum>(T id) implements EAlias {}

I think it is supposed to be the other way around - we can "expose" not more than the representation type.
Here T could be just any enum, not necessary E.

FAILED: dart2analyzer-none release_arm64 co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A10_t13
Expected: Pass
Actual: CompileTimeError

--- Command "dart2analyzer" (took 07.000504s):
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/Extension-types/static_analysis_extension_types_A10_t13.dart

unexpected analysis errors in static_analysis_extension_types_A10_t13.dart:
- Line 29, column 53: COMPILE_TIME_ERROR.EXTENSION_TYPE_IMPLEMENTS_NOT_SUPERTYPE_OF_ERASURE
  'E' is not a supertype of 'T', the ultimate representation type.

--- Re-run this test:
python3 tools/test.py -m release -c dart2analyzer -a arm64 co19/LanguageFeatures/Extension-types/static_analysis_extension_types_A10_t13