// Copyright (c) 2017, 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.

/*@testedFeatures=inference*/
library test;

void test() {
  var /*@ type=int* */ i = 0;
  for (i /*@ target=num::+ */ ++;
      i /*@target=num::<*/ < 10;
      i /*@ target=num::+ */ ++) {}
  for (/*@ target=num::+ */ ++i;
      i /*@target=num::<*/ < 10;
      i /*@ target=num::+ */ ++) {}
  for (i /*@ target=num::- */ --;
      i /*@target=num::>=*/ >= 0;
      i /*@ target=num::- */ --) {}
  for (/*@ target=num::- */ --i;
      i /*@target=num::>=*/ >= 0;
      i /*@ target=num::- */ --) {}
}

main() {}