// 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;

main() {
  num n = 1;
  int i = 1;
  double d = 1.0;

  // (double, double) -> double
  var /*@ type=double* */ ddPlus = d /*@target=double.+*/ + d;
  var /*@ type=double* */ ddMinus = d /*@target=double.-*/ - d;
  var /*@ type=double* */ ddTimes = d /*@target=double.**/ * d;
  var /*@ type=double* */ ddMod = d /*@target=double.%*/ % d;

  // (double, int) -> double
  var /*@ type=double* */ diPlus = d /*@target=double.+*/ + i;
  var /*@ type=double* */ diMinus = d /*@target=double.-*/ - i;
  var /*@ type=double* */ diTimes = d /*@target=double.**/ * i;
  var /*@ type=double* */ diMod = d /*@target=double.%*/ % i;

  // (double, num) -> double
  var /*@ type=double* */ dnPlus = d /*@target=double.+*/ + n;
  var /*@ type=double* */ dnMinus = d /*@target=double.-*/ - n;
  var /*@ type=double* */ dnTimes = d /*@target=double.**/ * n;
  var /*@ type=double* */ dnMod = d /*@target=double.%*/ % n;

  // (int, double) -> double
  var /*@ type=double* */ idPlus = i /*@target=num.+*/ + d;
  var /*@ type=double* */ idMinus = i /*@target=num.-*/ - d;
  var /*@ type=double* */ idTimes = i /*@target=num.**/ * d;
  var /*@ type=double* */ idMod = i /*@target=num.%*/ % d;

  // (int, int) -> int
  var /*@ type=int* */ iiPlus = i /*@target=num.+*/ + i;
  var /*@ type=int* */ iiMinus = i /*@target=num.-*/ - i;
  var /*@ type=int* */ iiTimes = i /*@target=num.**/ * i;
  var /*@ type=int* */ iiMod = i /*@target=num.%*/ % i;

  // (int, num) -> num
  var /*@ type=num* */ inPlus = i /*@target=num.+*/ + n;
  var /*@ type=num* */ inMinus = i /*@target=num.-*/ - n;
  var /*@ type=num* */ inTimes = i /*@target=num.**/ * n;
  var /*@ type=num* */ inMod = i /*@target=num.%*/ % n;

  // (num, double) -> num
  var /*@ type=num* */ ndPlus = n /*@target=num.+*/ + d;
  var /*@ type=num* */ ndMinus = n /*@target=num.-*/ - d;
  var /*@ type=num* */ ndTimes = n /*@target=num.**/ * d;
  var /*@ type=num* */ ndMod = n /*@target=num.%*/ % d;

  // (num, int) -> num
  var /*@ type=num* */ niPlus = n /*@target=num.+*/ + i;
  var /*@ type=num* */ niMinus = n /*@target=num.-*/ - i;
  var /*@ type=num* */ niTimes = n /*@target=num.**/ * i;
  var /*@ type=num* */ niMod = n /*@target=num.%*/ % i;

  // (num, num) -> num
  var /*@ type=num* */ nnPlus = n /*@target=num.+*/ + n;
  var /*@ type=num* */ nnMinus = n /*@target=num.-*/ - n;
  var /*@ type=num* */ nnTimes = n /*@target=num.**/ * n;
  var /*@ type=num* */ nnMod = n /*@target=num.%*/ % n;
}