co19/LanguageFeatures/Super-parameters/type_inference_A06_t03

[scheglov]

The header comment seems wrong, s1 is not optional.

FAILED: dart2analyzer-none release_x64 co19/LanguageFeatures/Super-parameters/type_inference_A06_t03
Expected: Pass
Actual: MissingCompileTimeError

--- Command "dart2analyzer" (took 17.000875s):
DART_CONFIGURATION=ReleaseX64 sdk/bin/dartanalyzer --enable-experiment=super-parameters --ignore-unrecognized-flags --packages=/Users/scheglov/Source/Dart/sdk.git/sdk/.packages --format=json --no-hints /Users/scheglov/Source/Dart/sdk.git/sdk/tests/co19/src/LanguageFeatures/Super-parameters/type_inference_A06_t03.dart

static error failures:
- Missing expected unspecified error at line 24, column 14, length 12.

--- Re-run this test:
python3 tools/test.py -m release -c dart2analyzer co19/LanguageFeatures/Super-parameters/type_inference_A06_t03