Properly register types on the JS foreign instruction.

sdk/lib/_internal/compiler/implementation/native_handler.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 native;
 
 import 'dart:collection' show Queue;
 import 'dart:uri';
 import 'dart2jslib.dart' hide SourceString;
 import 'dart_types.dart';
@@ skipping 73 matching lines @@
    * Records matched constraints ([SpecialType] or [DartType]).  Once a type
    * constraint has been matched, there is no need to match it again.
    */
   final Set matchedTypeConstraints = new Set();
 
   /// Pending actions.  Classes in [pendingClasses] have action thunks in
   /// [queue] to register the class.
   final queue = new Queue();
   bool flushing = false;
 
+  /// Maps JS foreign calls to their computed native behavior.
+  final Map<Node, NativeBehavior> nativeBehaviors =
+      new Map<Node, NativeBehavior>();
 
   final Enqueuer world;
   final Compiler compiler;
   final bool enableLiveTypeAnalysis;
 
   ClassElement _annotationCreatesClass;
   ClassElement _annotationReturnsClass;
   ClassElement _annotationJsNameClass;
 
   /// Subclasses of [NativeEnqueuerBase] are constructed by the backend.
@@ skipping 191 matching lines @@
   }
 
   void registerFieldStore(Element field) {
     processNativeBehavior(
         NativeBehavior.ofFieldStore(field, compiler),
         field);
     flushQueue();
   }
 
   void registerJsCall(Send node, ResolverVisitor resolver) {
-    processNativeBehavior(
-        NativeBehavior.ofJsCall(node, compiler, resolver),
-        node);
+    NativeBehavior behavior = NativeBehavior.ofJsCall(node, compiler, resolver);
+    processNativeBehavior(behavior, node);
+    nativeBehaviors[node] = behavior;
     flushQueue();
   }
 
+  NativeBehavior getNativeBehaviorOf(Send node) => nativeBehaviors[node];
+
   processNativeBehavior(NativeBehavior behavior, cause) {
     bool allUsedBefore = unusedClasses.isEmpty;
     for (var type in behavior.typesInstantiated) {
       if (matchedTypeConstraints.contains(type)) continue;
       matchedTypeConstraints.add(type);
       if (type is SpecialType) {
         if (type == SpecialType.JsArray) {
           world.registerInstantiatedClass(compiler.listClass);
         } else if (type == SpecialType.JsObject) {
           world.registerInstantiatedClass(compiler.objectClass);
@@ skipping 553 matching lines @@
     } else if (element.kind == ElementKind.GETTER) {
       nativeMethodCall = '$receiver$nativeMethodName';
     } else if (element.kind == ElementKind.SETTER) {
       nativeMethodCall = '$receiver$nativeMethodName = $foreignParameters';
     } else {
       builder.compiler.internalError('unexpected kind: "${element.kind}"',
                                      element: element);
     }
 
     DartString jsCode = new DartString.literal(nativeMethodCall);
-    builder.push(
-        new HForeign(jsCode, const LiteralDartString('Object'), inputs));
+    builder.push(new HForeign(jsCode, HType.UNKNOWN, inputs));
     builder.close(new HReturn(builder.pop())).addSuccessor(builder.graph.exit);
   } else {
     if (parameters.parameterCount != 0) {
       compiler.cancel(
           'native "..." syntax is restricted to functions with zero parameters',
           node: nativeBody);
     }
     LiteralString jsCode = nativeBody.asLiteralString();
     builder.push(new HForeign.statement(jsCode.dartString, <HInstruction>[]));
   }
 }