dart2js cps: Remove interceptors in cases where type propagation fails.

pkg/compiler/lib/src/types/abstract_value_domain.dart

Index: pkg/compiler/lib/src/types/abstract_value_domain.dart
diff --git a/pkg/compiler/lib/src/types/abstract_value_domain.dart b/pkg/compiler/lib/src/types/abstract_value_domain.dart
index 6512c5aa300f8f75149d9d23a68e18d7704e6830..3bf01da1740f0dbdf594a5cb763428ce4fe979fa 100644
--- a/pkg/compiler/lib/src/types/abstract_value_domain.dart
+++ b/pkg/compiler/lib/src/types/abstract_value_domain.dart
@@ -53,7 +53,13 @@ abstract class AbstractValueDomain {
 
   AbstractValue get interceptedTypes;
 
-  bool methodUsesReceiverArgument(FunctionElement function);
+  /// If true, [function] ignores its explicit receiver argument and will use
+  /// its `this` value instead.
+  bool methodIgnoresReceiverArgument(FunctionElement function);
+
+  /// If true, the explicit receiver argument can be ignored when invoking
+  /// [selector] on a value of [type].
+  bool targetIgnoresReceiverArgument(AbstractValue type, Selector selector);
 
   Element locateSingleElement(AbstractValue mask, Selector selector);