pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart.type_promotion.expect

pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:13:31: Context: Write to t@343
  var /*@ type=int* */ v1 = t = getInt();
                              ^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:14:31: Context: Write to t@343
  var /*@ type=int* */ v4 = t ??= getInt();
                              ^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:15:50: Context: Write to t@343
  var /*@ type=int* */ v7 = t /*@target=num::+*/ += getInt();
                                                 ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:16:49: Context: Write to t@343
  var /*@ type=int* */ v10 = /*@target=num::+*/ ++t;
                                                ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:17:85: Context: Write to t@343
  var /*@ type=int* */ v11 = /*@ type=int* */ t /*@ type=int* */ /*@target=num::+*/ ++;
                                                                                    ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:21:31: Context: Write to t@343
  var /*@ type=int* */ v1 = t = getInt();
                              ^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:22:31: Context: Write to t@343
  var /*@ type=num* */ v2 = t = getNum();
                              ^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:23:34: Context: Write to t@343
  var /*@ type=double* */ v3 = t = getDouble();
                                 ^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:24:31: Context: Write to t@343
  var /*@ type=num* */ v4 = t ??= getInt();
                              ^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:25:31: Context: Write to t@343
  var /*@ type=num* */ v5 = t ??= getNum();
                              ^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:26:31: Context: Write to t@343
  var /*@ type=num* */ v6 = t ??= getDouble();
                              ^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:27:50: Context: Write to t@343
  var /*@ type=num* */ v7 = t /*@target=num::+*/ += getInt();
                                                 ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:28:50: Context: Write to t@343
  var /*@ type=num* */ v8 = t /*@target=num::+*/ += getNum();
                                                 ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:29:50: Context: Write to t@343
  var /*@ type=num* */ v9 = t /*@target=num::+*/ += getDouble();
                                                 ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:30:49: Context: Write to t@343
  var /*@ type=num* */ v10 = /*@target=num::+*/ ++t;
                                                ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:31:85: Context: Write to t@343
  var /*@ type=num* */ v11 = /*@ type=num* */ t /*@ type=num* */ /*@target=num::+*/ ++;
                                                                                    ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:35:34: Context: Write to t@343
  var /*@ type=double* */ v3 = t = getDouble();
                                 ^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:36:34: Context: Write to t@343
  var /*@ type=double* */ v6 = t ??= getDouble();
                                 ^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:37:56: Context: Write to t@343
  var /*@ type=double* */ v7 = t /*@target=double::+*/ += getInt();
                                                       ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:38:56: Context: Write to t@343
  var /*@ type=double* */ v8 = t /*@target=double::+*/ += getNum();
                                                       ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:39:56: Context: Write to t@343
  var /*@ type=double* */ v9 = t /*@target=double::+*/ += getDouble();
                                                       ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:40:55: Context: Write to t@343
  var /*@ type=double* */ v10 = /*@target=double::+*/ ++t;
                                                      ^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:42:49: Context: Write to t@343
      /*@ type=double* */ /*@target=double::+*/ ++;
                                                ^^