Skip to content

co19/LanguageFeatures/Super-parameters/type_inference_A03_t02 #1255

@scheglov

Description

@scheglov
FAILED: dart2analyzer-none release_x64 co19/LanguageFeatures/Super-parameters/type_inference_A03_t02
Expected: Pass
Actual: CompileTimeError

--- Command "dart2analyzer" (took 49ms):
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_A03_t02.dart

unexpected analysis errors in type_inference_A03_t02.dart:
- Line 44, column 13: COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE
  The argument type 'int?' can't be assigned to the parameter type 'int'.

- Line 48, column 13: COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE
  The argument type 'int?' can't be assigned to the parameter type 'int'.

- Line 54, column 17: HINT.UNNECESSARY_TYPE_CHECK
  Unnecessary type check; the result is always 'true'.

- Line 62, column 17: HINT.UNNECESSARY_TYPE_CHECK
  Unnecessary type check; the result is always 'true'.

- Line 81, column 17: HINT.UNNECESSARY_TYPE_CHECK
  Unnecessary type check; the result is always 'true'.

- Line 89, column 17: HINT.UNNECESSARY_TYPE_CHECK
  Unnecessary type check; the result is always 'true'.

unexpected analysis errors in ../../Utils/expect_common.dart:
- Line 291, column 11: TODO.TODO
  TODO check that key sets are equivalent. Following method does not work:

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions