After a dynamic call, refine the receiver type by looking at the potential targets of that call.

tests/compiler/dart2js/value_range_test.dart

 // Copyright (c) 2012, 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 'compiler_helper.dart';
 
 const int REMOVED = 0;
 const int ABOVE_ZERO = 1;
 const int BELOW_LENGTH = 2;
@@ skipping 142 matching lines @@
   return sum;
 }
 """,
 REMOVED,
 
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
   int sum = 0;
-  for (int i = 0; i < 42; i++) sum += (value & 4);
+  for (int i = 0; i < 42; i++) sum += ~value;
   var a = new List();
   if (value > a.length - 1) return;
   if (value < 0) return;
   return a[value];
 }
 """,
 REMOVED,
 
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
   int sum = 0;
-  for (int i = 0; i < 42; i++) sum += (value & 4);
+  for (int i = 0; i < 42; i++) sum += ~value;
   var a = new List();
   if (value <= a.length - 1) {
     if (value >= 0) {
       return a[value];
     }
   }
 }
 """,
 REMOVED,
 """
 main(value) {
   // Force [value] to be an int by having the speculative optimizer
   // want an int.
   int sum = 0;
-  for (int i = 0; i < 42; i++) sum += (value & 4);
+  for (int i = 0; i < 42; i++) sum += ~value;
   var a = new List();
   if (value >= a.length) return;
   if (value <= -1) return;
   return a[value];
 }
 """,
 REMOVED,
 ];
 
 // TODO(ahe): It would probably be better if this test used the real
@@ skipping 43 matching lines @@
     operator <<(other) {}
     operator >>(other) {}
     operator |(other) {}
     operator &(other) {}
     operator ^(other) {}
     operator <(other) {}
     operator >(other) {}
     operator <=(other) {}
     operator >=(other) {}
     operator ==(other) {}
+    operator~() {}
   }
   class JSInt extends JSNumber {
   }
   class JSDouble extends JSNumber {
   }
   class JSNull {
   }
   class JSBool {
   }
   class JSFunction {
@@ skipping 40 matching lines @@
       break;
   }
 }
 
 
 main() {
   for (int i = 0; i < TESTS.length;  i += 2) {
     expect(TESTS[i], TESTS[i + 1]);
   }
 }