Lasse R.H. Nielsen
f8086c81ae
Collects files from `package:async_helper` and `tests/language` that are generally useful, so that all test-related helpers are in `package:expect`. Moves the two libraries from `package:async_helper` into `package:expect`, and the `tests/language/static_type_helper.dart` file too. Deprecates `async_minitest.dart`, to follow `minitest.dart`, expecting the Flutter use of it to have been fixed to not break on deprecation (I believe Flutter no longer breaks builds on deprecations at all). Patch 1 is the actual change. Patch 2+4+8 is changing all existing references to the files. Patch 6 ignores deprecation in files still using `async_minitest.dart`. 3+5+7+9 are updating this text to make the numbers match. Then it's just test-expectations and small tweaks from there. Change-Id: I1b665135b5fef9b9a0c3b340ffe9daf874d0174c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/373120 Reviewed-by: Nate Bosch <nbosch@google.com> Reviewed-by: Devon Carew <devoncarew@google.com> Commit-Queue: Lasse Nielsen <lrn@google.com>
97 lines
2.3 KiB
Dart
97 lines
2.3 KiB
Dart
// Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
// Tests that field promotion works when the promotion condition is stored in a
|
|
// local variable.
|
|
|
|
import 'package:expect/static_type_helper.dart';
|
|
|
|
class C {
|
|
final Object? _o;
|
|
C(this._o);
|
|
}
|
|
|
|
void usingNullCheck_withoutInterveningPromotion(C c) {
|
|
bool b = c._o != null;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<Object>>();
|
|
}
|
|
}
|
|
|
|
void usingIsTest_withoutInterveningPromotion(C c) {
|
|
bool b = c._o is int;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<int>>();
|
|
}
|
|
}
|
|
|
|
void usingNullCheck_withInterveningRelatedPromotion(C c) {
|
|
bool b = c._o != null;
|
|
if (c._o != null) {
|
|
c._o.expectStaticType<Exactly<Object>>();
|
|
}
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<Object>>();
|
|
}
|
|
}
|
|
|
|
void usingIsTest_withInterveningRelatedPromotion(C c) {
|
|
bool b = c._o is int;
|
|
if (c._o is int) {
|
|
c._o.expectStaticType<Exactly<int>>();
|
|
}
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<int>>();
|
|
}
|
|
}
|
|
|
|
void usingNullCheck_withInterveningUnrelatedPromotion(C c, int? i) {
|
|
bool b = c._o != null;
|
|
i!;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<Object>>();
|
|
}
|
|
}
|
|
|
|
void usingIsTest_withInterveningUnrelatedPromotion(C c, int? i) {
|
|
bool b = c._o is int;
|
|
i!;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<int>>();
|
|
}
|
|
}
|
|
|
|
void usingNullCheck_disabledByAssignment(C c, C c2) {
|
|
bool b = c._o != null;
|
|
if (c._o != null) {
|
|
c._o.expectStaticType<Exactly<Object>>();
|
|
}
|
|
c = c2;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<Object?>>();
|
|
}
|
|
}
|
|
|
|
void usingIsTest_disabledByAssignment(C c, C c2) {
|
|
bool b = c._o is int;
|
|
if (c._o is int) {
|
|
c._o.expectStaticType<Exactly<int>>();
|
|
}
|
|
c = c2;
|
|
if (b) {
|
|
c._o.expectStaticType<Exactly<Object?>>();
|
|
}
|
|
}
|
|
|
|
main() {
|
|
usingNullCheck_withoutInterveningPromotion(C(0));
|
|
usingIsTest_withoutInterveningPromotion(C(0));
|
|
usingNullCheck_withInterveningRelatedPromotion(C(0));
|
|
usingIsTest_withInterveningRelatedPromotion(C(0));
|
|
usingNullCheck_withInterveningUnrelatedPromotion(C(0), 1);
|
|
usingIsTest_withInterveningUnrelatedPromotion(C(0), 1);
|
|
usingNullCheck_disabledByAssignment(C(0), C(1));
|
|
usingIsTest_disabledByAssignment(C(0), C(1));
|
|
}
|