Infer types for parameters even in the presence of InvocationMirror.delegate.

sdk/lib/_internal/compiler/implementation/universe/universe.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.
 
 library universe;
 
 import '../elements/elements.dart';
 import '../dart2jslib.dart';
 import '../dart_types.dart';
 import '../types/types.dart';
@@ skipping 577 matching lines @@
   }
 
   String toString() {
     String named = '';
     String type = '';
     if (namedArgumentCount > 0) named = ', named=${namedArgumentsToString()}';
     if (mask != null) type = ', mask=$mask';
     return 'Selector($kind, $name, '
            'arity=$argumentCount$named$type)';
   }
+
+  Selector extendIfReachesAll(Compiler compiler) {
+    return new TypedSelector(compiler.typesTask.dynamicType, this);
+  }
 }
 
 class TypedSelector extends Selector {
   final Selector asUntyped;
   final TypeMask mask;
 
   TypedSelector.internal(this.mask, Selector selector, int hashCode)
       : asUntyped = selector,
         super.internal(selector.kind,
                        selector.name,
@@ skipping 41 matching lines @@
     //   get foo => () => 42;
     //   bar() => foo(); // The call to 'foo' is a typed selector.
     // }
     if (element.getEnclosingClass().isClosure()) {
       return appliesUntyped(element, compiler);
     }
 
     if (!mask.canHit(element, this, compiler)) return false;
     return appliesUntyped(element, compiler);
   }
+
+  Selector extendIfReachesAll(Compiler compiler) {
+    bool canReachAll = compiler.enabledInvokeOn
+        && mask.needsNoSuchMethodHandling(this, compiler);
+    return canReachAll
+        ? new TypedSelector(compiler.typesTask.dynamicType, this)
+        : this;
+  }
 }