Cast InternalMap to Map.

pkg/dev_compiler/tool/input_sdk/private/isolate_serialization.dart

 // Copyright (c) 2014, 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.
 
 part of dart._isolate_helper;
 
 /// Serialize [message].
 _serializeMessage(message) {
   return new _Serializer().serialize(message);
 }
@@ skipping 96 matching lines @@
     return serialized;
   }
 
   serializeArrayInPlace(JSArray x) {
     for (int i = 0; i < x.length; i++) {
       x[i] = serialize(x[i]);
     }
     return x;
   }
 
-  serializeMap(Map x) {
+  serializeMap(InternalMap x) {
     Function serializeTearOff = serialize;
     return ['map',
             x.keys.map(serializeTearOff).toList(),
             x.values.map(serializeTearOff).toList()];
   }
 
   serializeJSObject(JSObject x) {
     // Don't serialize objects if their `constructor` property isn't `Object`
     // or undefined/null.
     // A different constructor is taken as a sign that the object has complex
@@ skipping 141 matching lines @@
   // ['const', <array>].
   List deserializeConst(x) {
     assert(x[0] == 'const');
     List result = x[1];
     deserializedObjects.add(result);
     // TODO(floitsch): need to mark list as non-changeable.
     return new JSArray.markFixed(deserializeArrayInPlace(result));
   }
 
   // ['map', <key-list>, <value-list>].
-  Map deserializeMap(x) {
+  Map deserializeMap(InternalMap x) {
     assert(x[0] == 'map');
     List keys = x[1];
     List values = x[2];
     Map result = {};
     deserializedObjects.add(result);
     // We need to keep the order of how objects were serialized.
     // First deserialize all keys, and then only deserialize the values.
     keys = keys.map(deserialize).toList();
 
     for (int i = 0; i < keys.length; i++) {
@@ skipping 62 matching lines @@
     var instanceFromClassId = JS_EMBEDDED_GLOBAL('', INSTANCE_FROM_CLASS_ID);
     var initializeObject = JS_EMBEDDED_GLOBAL('', INITIALIZE_EMPTY_INSTANCE);
 
     var emptyInstance = JS('', '#(#)', instanceFromClassId, classId);
     deserializedObjects.add(emptyInstance);
     deserializeArrayInPlace(fields);
     return JS('', '#(#, #, #)',
               initializeObject, classId, emptyInstance, fields);
   }
 }