Set MethodInvocation.interfaceTarget during type inference.

pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart

Index: pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart
diff --git a/pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart b/pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart
index 505a11f49ce7a460314ad3342b841c26a63095af..de594134cbf8306eab5a65e8eee7ea059d0e531c 100644
--- a/pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart
+++ b/pkg/front_end/testcases/inference/infer_from_complex_expressions_if_outer_most_value_is_precise.dart
@@ -25,11 +25,12 @@ var /*@topType=Map<dynamic, dynamic>*/ d = <dynamic, dynamic>{
   'a': 'b'
 }; // map literals
 var /*@topType=A*/ e = new A()..x = 3; // cascades
-var /*@topType=int*/ f = 2 + 3; // binary expressions are OK if the left operand
+var /*@topType=int*/ f =
+    2 /*@target=num::+*/ + 3; // binary expressions are OK if the left operand
 // is from a library in a different strongest
 // conected component.
-var /*@topType=int*/ g = -3;
-var /*@topType=B*/ h = new A() + 3;
+var /*@topType=int*/ g = /*@target=int::unary-*/ -3;
+var /*@topType=B*/ h = new A() /*@target=A::+*/ + 3;
 var /*@topType=dynamic*/ i = /*error:UNDEFINED_OPERATOR,info:DYNAMIC_INVOKE*/ -new A();
 var /*@topType=B*/ j = /*info:UNNECESSARY_CAST*/ null as B;