| Index: pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart b/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
|
| index 2cc944462bb3a31717960c97cf9a29c8cdd55826..7df15c7438b53b8ac80d3b33c987d503b0bfe713 100644
|
| --- a/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
|
| +++ b/pkg/front_end/testcases/inference/future_union_async_conditional_2.dart
|
| @@ -15,17 +15,19 @@ class MyFuture<T> implements Future<T> {
|
| }
|
|
|
| Future<int> g1(bool x) async {
|
| - return /*info:DOWN_CAST_COMPOSITE*/ x
|
| + return /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ x
|
| ? 42
|
| : new /*@typeArgs=int*/ MyFuture.value(42);
|
| }
|
|
|
| Future<int> g2(bool x) async =>
|
| - /*info:DOWN_CAST_COMPOSITE*/ x
|
| + /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ x
|
| ? 42
|
| : new /*@typeArgs=int*/ MyFuture.value(42);
|
| Future<int> g3(bool x) async {
|
| var /*@type=Object*/ y =
|
| - x ? 42 : new /*@typeArgs=dynamic*/ MyFuture.value(42);
|
| + /*@promotedType=none*/ x
|
| + ? 42
|
| + : new /*@typeArgs=dynamic*/ MyFuture.value(42);
|
| return /*info:DOWN_CAST_COMPOSITE*/ /*@promotedType=none*/ y;
|
| }
|
|
|