Refine the type of a local after it has been used as the receiver of a call.

tests/compiler/dart2js/simple_inferrer_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:expect/expect.dart';
 import
     '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
     show TypeMask;
 
 import 'compiler_helper.dart';
@@ skipping 408 matching lines @@
 testDoWhile4() {
   var a = 'foo';
   do {
     a = 54;
     if (true) break;
     return 3.5;
   } while (true);
   return a;
 }
 
+testSpecialization1() {
+  var a = topLevelGetter();
+  a - 42;
+  return a;
+}
+
+testSpecialization2() {
+  var a = topLevelGetter();
+  // Make [a] a captured variable. This should disable receiver
+  // specialization on [a].
+  (() => a.toString())();
+  a - 42;
+  return a;
+}
+
 testReturnInvokeDynamicGetter() => new A().myFactory();
 
 var topLevelConstList = const [42];
 
 get topLevelGetter => 42;
 returnDynamic() => topLevelGetter(42);
 returnTopLevelGetter() => topLevelGetter;
 
 class A {
   factory A() = A.generative;
@@ skipping 119 matching lines @@
          ..returnInt6()
          ..returnInt7()
          ..returnInt8()
          ..returnInt9();
   testReturnElementOfConstList1();
   testReturnElementOfConstList2();
   testReturnItselfOrInt(topLevelGetter());
   testReturnInvokeDynamicGetter();
   testCascade1();
   testCascade2();
+  testSpecialization1();
+  testSpecialization2();
 }
 """;
 
 void main() {
   Uri uri = new Uri(scheme: 'source');
   var compiler = compilerFor(TEST, uri);
   compiler.runCompiler(uri);
   var typesTask = compiler.typesTask;
   var typesInferrer = typesTask.typesInferrer;
 
@@ skipping 102 matching lines @@
     var cls = findElement(compiler, className);
     var element = cls.localLookup(buildSourceString(factoryName));
     Expect.equals(new TypeMask.nonNullExact(cls.rawType),
                   typesInferrer.getReturnTypeOfElement(element));
   }
   checkFactoryConstructor('A', '');
 
   checkReturn('testCascade1', typesTask.growableListType);
   checkReturn('testCascade2', new TypeMask.nonNullExact(
       typesTask.rawTypeOf(findElement(compiler, 'CascadeHelper'))));
+  checkReturn('testSpecialization1', typesTask.numType);
+  checkReturn('testSpecialization2', typesTask.dynamicType);
 }