pkg/front_end/testcases/inference/bug31133.dart:10:31: Context: Write to i@299
  for (i /*@ target=num::+ */ ++;
                              ^^
pkg/front_end/testcases/inference/bug31133.dart:12:30: Context: Write to i@299
      i /*@ target=num::+ */ ++) {}
                             ^^
pkg/front_end/testcases/inference/bug31133.dart:13:29: Context: Write to i@299
  for (/*@ target=num::+ */ ++i;
                            ^^
pkg/front_end/testcases/inference/bug31133.dart:15:30: Context: Write to i@299
      i /*@ target=num::+ */ ++) {}
                             ^^
pkg/front_end/testcases/inference/bug31133.dart:16:31: Context: Write to i@299
  for (i /*@ target=num::- */ --;
                              ^^
pkg/front_end/testcases/inference/bug31133.dart:18:30: Context: Write to i@299
      i /*@ target=num::- */ --) {}
                             ^^
pkg/front_end/testcases/inference/bug31133.dart:19:29: Context: Write to i@299
  for (/*@ target=num::- */ --i;
                            ^^
pkg/front_end/testcases/inference/bug31133.dart:21:30: Context: Write to i@299
      i /*@ target=num::- */ --) {}
                             ^^