Version 1.4.3.

dart/sdk/lib/_internal/compiler/implementation/inferrer/map_tracer.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 type_graph_inferrer;
 
 Set<String> okMapSelectorsSet = new Set.from(
     const <String>[
       // From Object.
       "==",
@@ skipping 61 matching lines @@
     String selectorName = selector.name;
     if (currentUser == info.receiver) {
       if (!okMapSelectorsSet.contains(selectorName)) {
         if (selector.isCall()) {
           int positionalLength = info.arguments.positional.length;
           if (selectorName == 'addAll') {
             // All keys and values from the argument flow into
             // the map.
             TypeInformation map = info.arguments.positional[0];
             if (map is MapTypeInformation) {
+              inferrer.analyzeMapAndEnqueue(map);
               mapAssignments.add(map);
             } else {
               // If we could select a component from a [TypeInformation],
               // like the keytype or valuetype in this case, we could
               // propagate more here.
               // TODO(herhut): implement selection on [TypeInformation].
               bailout('Adding map with unknown typeinfo to current map');
             }
           } else if (selectorName == 'putIfAbsent') {
             // The first argument is a new key, the result type of
@@ skipping 22 matching lines @@
           return;
         }
       }
     } else if (selector.isCall() &&
                !info.targets.every((element) => element.isFunction())) {
       bailout('Passed to a closure');
       return;
     }
   }
 }