Minor type inference fixes.

pkg/front_end/testcases/inference/infer_conditional.dart

Index: pkg/front_end/testcases/inference/infer_conditional.dart
diff --git a/pkg/front_end/testcases/inference/infer_conditional.dart b/pkg/front_end/testcases/inference/infer_conditional.dart
index 34c0cf35afe524139e6740b7414a1ef7325108d4..042a3a19c1437a65ed606deca2f289d72b40071c 100644
--- a/pkg/front_end/testcases/inference/infer_conditional.dart
+++ b/pkg/front_end/testcases/inference/infer_conditional.dart
@@ -5,8 +5,8 @@
 /*@testedFeatures=inference*/
 library test;
 
-var /*@topType=num*/ a = 1 /*@target=Object::==*/ == 2 ? 1 : 2.0;
-var /*@topType=num*/ b = 1 /*@target=Object::==*/ == 2 ? 1.0 : 2;
+var /*@topType=num*/ a = 1 /*@target=num::==*/ == 2 ? 1 : 2.0;
+var /*@topType=num*/ b = 1 /*@target=num::==*/ == 2 ? 1.0 : 2;
 
 main() {
   a;