co19/LanguageFeatures/Patterns/pattern_assignment_A05_t04

[scheglov]

FAILED: dart2analyzer-none release_arm64 co19/LanguageFeatures/Patterns/pattern_assignment_A05_t04
Expected: Pass
Actual: CompileTimeError

--- Command "dart2analyzer" (took 06.000312s):
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=patterns,records --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/Patterns/pattern_assignment_A05_t04.dart

unexpected analysis errors in pattern_assignment_A05_t04.dart:
- Line 40, column 22: COMPILE_TIME_ERROR.UNDEFINED_GETTER
  The getter '$0' isn't defined for the type 'Record'.

- Line 41, column 22: COMPILE_TIME_ERROR.UNDEFINED_GETTER
  The getter '$1' isn't defined for the type 'Record'.

- Line 45, column 23: COMPILE_TIME_ERROR.UNDEFINED_GETTER
  The getter '$0' isn't defined for the type 'Record'.

- Line 46, column 23: COMPILE_TIME_ERROR.UNDEFINED_GETTER
  The getter '$1' isn't defined for the type 'Record'.

- Line 67, column 3: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type '(int, {int af7})' isn't assignable to the required type '(Object?, Object?)'.

- Line 67, column 4: COMPILE_TIME_ERROR.MISSING_OBJECT_PATTERN_GETTER_NAME
  The getter name is not specified explicitly, and the pattern is not a variable.

- Line 67, column 5: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object?' isn't assignable to the required type 'int'.

- Line 73, column 10: COMPILE_TIME_ERROR.MISSING_OBJECT_PATTERN_GETTER_NAME
  The getter name is not specified explicitly, and the pattern is not a variable.

--- Re-run this test:
python3 tools/test.py -m release -c dart2analyzer -a arm64 co19/LanguageFeatures/Patterns/pattern_assignment_A05_t04

There are other errors than for Record field access, this is a bug in the analyzer, should be fixed with https://dart-review.googlesource.com/c/sdk/+/278642