Report ~/ warning only when both arguments are integers

compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java

Index: compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
diff --git a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
index d198622ef75e976594156ed90c4f57cfb3283dee..0c740257ddfdfee537c13bf93fc572b460359581 100644
--- a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
+++ b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
@@ -1482,7 +1482,8 @@ public class TypeAnalyzer implements DartCompilationPhase {
         }
         if (target instanceof DartBinaryExpression) {
           DartBinaryExpression binary = (DartBinaryExpression) target;
-          if (binary.getOperator() == Token.DIV) {
+          if (binary.getOperator() == Token.DIV && intType.equals(binary.getArg1().getType())
+              && intType.equals(binary.getArg2().getType())) {
             typeError(node, TypeErrorCode.USE_INTEGER_DIVISION);
           }
         }