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

pkg/compiler/lib/src/cps_ir/type_mask_system.dart

Index: pkg/compiler/lib/src/cps_ir/type_mask_system.dart
diff --git a/pkg/compiler/lib/src/cps_ir/type_mask_system.dart b/pkg/compiler/lib/src/cps_ir/type_mask_system.dart
index 5b30cafa0f93a8876ec464fbec642c576d94894f..ea8bb4300e7985ff8bc1c750966c86e92142f0e2 100644
--- a/pkg/compiler/lib/src/cps_ir/type_mask_system.dart
+++ b/pkg/compiler/lib/src/cps_ir/type_mask_system.dart
@@ -173,11 +173,27 @@ class TypeMaskSystem implements AbstractValueDomain {
   }
 
   @override
-  bool methodUsesReceiverArgument(FunctionElement function) {
+  bool methodIgnoresReceiverArgument(FunctionElement function) {
     assert(backend.isInterceptedMethod(function));
     ClassElement clazz = function.enclosingClass.declaration;
-    return clazz.isSubclassOf(helpers.jsInterceptorClass) ||
-           classWorld.isUsedAsMixin(clazz);
+    return !clazz.isSubclassOf(helpers.jsInterceptorClass) &&
+           !classWorld.isUsedAsMixin(clazz);
+  }
+
+  @override
+  bool targetIgnoresReceiverArgument(TypeMask type, Selector selector) {
+    // Check if any of the possible targets depend on the extra receiver
+    // argument. Mixins do this, and tear-offs always needs the extra receiver
+    // argument because BoundClosure uses it for equality and hash code.
+    // TODO(15933): Make automatically generated property extraction
+    // closures work with the dummy receiver optimization.
+    bool needsReceiver(Element target) {
+      if (target is! FunctionElement) return false;
+      FunctionElement function = target;
+      return selector.isGetter && !function.isGetter ||
+             !methodIgnoresReceiverArgument(function);
+    }
+    return !classWorld.allFunctions.filter(selector, type).any(needsReceiver);
   }
 
   @override