dart-lang
Specification special-cases static type of ~/, not .remainder.
The specification has special-cased the static type analysis of the int operators +, -, *, % and ~/ to be int if the argument is int, and double if the argument is double.
This is incorrect for ~/, which is declared as returning int in all cases (so specifying "4 ~/ 0.5" to be double is wrong), and it misses the remainder function, which should be treated just as special as the % operator.
Ok, the ~/ case doesn't actually say that the type of "4 ~/ e2" is double if "e2" is double, but it's still unncessary and therefore confusing.
You're just saying that ~/ is not treated specially by the typechecker, right?
Set owner to @gbracha. Added Accepted label.
No milestone now: This will not block Dart 2.
The clarification still needs to be performed.
