Fix top level type inference for binary operators.

pkg/front_end/testcases/inference/infer_binary_int_int.dart

Index: pkg/front_end/testcases/inference/infer_binary_int_int.dart
diff --git a/pkg/front_end/testcases/inference/infer_binary_int_int.dart b/pkg/front_end/testcases/inference/infer_binary_int_int.dart
index 6e5c69bf7fbef656b2029761617ad48e689ff572..1f22bd7c9764263f0815d099b7f2b3211137b010 100644
--- a/pkg/front_end/testcases/inference/infer_binary_int_int.dart
+++ b/pkg/front_end/testcases/inference/infer_binary_int_int.dart
@@ -15,10 +15,30 @@ var /*@topType=int*/ a_bitShiftLeft = 1 /*@target=int::<<*/ << 2;
 var /*@topType=int*/ a_add = 1 /*@target=num::+*/ + 2;
 var /*@topType=int*/ a_subtract = 1 /*@target=num::-*/ - 2;
 var /*@topType=int*/ a_multiply = 1 /*@target=num::**/ * 2;
-var /*@topType=num*/ a_divide = 1 /*@target=num::/ */ / 2;
+var /*@topType=double*/ a_divide = 1 /*@target=num::/ */ / 2;
 var /*@topType=int*/ a_floorDivide = 1 /*@target=num::~/ */ ~/ 2;
 var /*@topType=bool*/ a_greater = 1 /*@target=num::>*/ > 2;
 var /*@topType=bool*/ a_less = 1 /*@target=num::<*/ < 2;
 var /*@topType=bool*/ a_greaterEqual = 1 /*@target=num::>=*/ >= 2;
 var /*@topType=bool*/ a_lessEqual = 1 /*@target=num::<=*/ <= 2;
 var /*@topType=int*/ a_modulo = 1 /*@target=num::%*/ % 2;
+
+main() {
+  a_equal;
+  a_notEqual;
+  a_bitXor;
+  a_bitAnd;
+  a_bitOr;
+  a_bitShiftRight;
+  a_bitShiftLeft;
+  a_add;
+  a_subtract;
+  a_multiply;
+  a_divide;
+  a_floorDivide;
+  a_greater;
+  a_less;
+  a_greaterEqual;
+  a_lessEqual;
+  a_modulo;
+}