Minor type inference fixes.

pkg/front_end/testcases/inference/block_bodied_lambdas_basic_void.dart

Index: pkg/front_end/testcases/inference/block_bodied_lambdas_basic_void.dart
diff --git a/pkg/front_end/testcases/inference/infer_conditional.dart b/pkg/front_end/testcases/inference/block_bodied_lambdas_basic_void.dart
similarity index 62%
copy from pkg/front_end/testcases/inference/infer_conditional.dart
copy to pkg/front_end/testcases/inference/block_bodied_lambdas_basic_void.dart
index 34c0cf35afe524139e6740b7414a1ef7325108d4..70033c964583a94576ba319b3f2b1a811859bacc 100644
--- a/pkg/front_end/testcases/inference/infer_conditional.dart
+++ b/pkg/front_end/testcases/inference/block_bodied_lambdas_basic_void.dart
@@ -5,10 +5,11 @@
 /*@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;
-
-main() {
-  a;
-  b;
+f() {
+  List<int> o;
+  o. /*@target=Iterable::where*/ where(/*@returnType=bool*/ (/*@type=int*/ i) {
+    return i /*@target=num::==*/ == 0;
+  });
 }
+
+main() {}