co19/LanguageFeatures/Patterns/wildcards_A01_t01

[scheglov]

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

--- Command "dart2analyzer" (took 06.000101s):
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 --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/wildcards_A01_t01.dart

unexpected analysis errors in wildcards_A01_t01.dart:
- Line 65, column 8: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object' isn't assignable to the required type 'String'.

- Line 65, column 26: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object' isn't assignable to the required type 'num'.

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

- Line 70, column 23: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object' isn't assignable to the required type 'num'.

- Line 73, column 13: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object' isn't assignable to the required type 'String'.

- Line 73, column 26: COMPILE_TIME_ERROR.PATTERN_TYPE_MISMATCH_IN_IRREFUTABLE_CONTEXT
  The matched value of type 'Object' isn't assignable to the required type 'num'.

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

Code

  var list2 = ["1", 2, "3", 4];
  var [String _, two, _, num ___] = list2;

1. num ___ is not a wildcard.
2. The required type of [String _, two, _, num ___] is GLB(String, num) = Object, and Object cannot be assigned to String _.