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