search

dart-lang / co19

A Dart language and library conformance test suite
BSD 3-Clause "New" or "Revised" License
37 stars 28 forks source link

co19/LanguageFeatures/nnbd/nullability_definitions_A02_t16 #558

Closed scheglov closed 4 years ago

scheglov commented 4 years ago

According to the promotion rules, promotable via type test cannot be applied, because S <: T, where S = dynamic and T = class S.

--- Command "dart2analyzer" (took 55ms):
DART_CONFIGURATION=ReleaseX64NNBD out/ReleaseX64NNBD/dart-sdk/bin/dartanalyzer --enable-experiment=non-nullable --ignore-unrecognized-flags --packages=/b/s/w/ir/cache/builder/sdk/.packages --format=machine --no-hints /b/s/w/ir/cache/builder/sdk/tests/co19/src/LanguageFeatures/nnbd/nullability_definitions_A02_t16.dart

static error failures:
Missing static error at line 30, column 9, length 4:
- Expected unspecified error code.
- Expected unspecified error message.

--- Re-run this test:
python tools/test.py -n analyzer-asserts-strong-linux co19/LanguageFeatures/nnbd/nullability_definitions_A02_t16
sgrekhov commented 4 years ago

Fixed by af2f1951f4eb4cf34b2e6a18066225d9b522e5e3