Drop implicit types from summaries.

pkg/analyzer/lib/src/summary/summarize_const_expr.dart

 // Copyright (c) 2016, 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 serialization.summarize_const_expr;
 
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/scanner.dart';
 import 'package:analyzer/src/summary/format.dart';
 
@@ skipping 197 matching lines @@
     if (constructor.name != null) {
       strings.add(constructor.name.name);
     } else {
       strings.add('');
     }
   }
 
   void _serializeListLiteral(ListLiteral expr) {
     List<Expression> elements = expr.elements;
     elements.forEach(serialize);
-    TypeName typeArgument;
+    ints.add(elements.length);
     if (expr.typeArguments != null &&
         expr.typeArguments.arguments.length == 1) {
-      typeArgument = expr.typeArguments.arguments[0];
+      references.add(serializeType(expr.typeArguments.arguments[0]));
+      operations.add(UnlinkedConstOperation.makeTypedList);
+    } else {
+      operations.add(UnlinkedConstOperation.makeUntypedList);
     }
-    references.add(serializeType(typeArgument));
-    ints.add(elements.length);
-    operations.add(UnlinkedConstOperation.makeList);
   }
 
   void _serializeMapLiteral(MapLiteral expr) {
     for (MapLiteralEntry entry in expr.entries) {
       serialize(entry.key);
       serialize(entry.value);
     }
-    TypeName keyTypeArgument;
-    TypeName valueTypeArgument;
+    ints.add(expr.entries.length);
     if (expr.typeArguments != null &&
         expr.typeArguments.arguments.length == 2) {
-      keyTypeArgument = expr.typeArguments.arguments[0];
-      valueTypeArgument = expr.typeArguments.arguments[1];
+      references.add(serializeType(expr.typeArguments.arguments[0]));
+      references.add(serializeType(expr.typeArguments.arguments[1]));
+      operations.add(UnlinkedConstOperation.makeTypedMap);
+    } else {
+      operations.add(UnlinkedConstOperation.makeUntypedMap);
     }
-    references.add(serializeType(keyTypeArgument));
-    references.add(serializeType(valueTypeArgument));
-    ints.add(expr.entries.length);
-    operations.add(UnlinkedConstOperation.makeMap);
   }
 
   void _serializePrefixExpression(PrefixExpression expr) {
     serialize(expr.operand);
     TokenType operator = expr.operator.type;
     if (operator == TokenType.BANG) {
       operations.add(UnlinkedConstOperation.not);
     } else if (operator == TokenType.MINUS) {
       operations.add(UnlinkedConstOperation.negate);
     } else if (operator == TokenType.TILDE) {
@@ skipping 36 matching lines @@
  * Error that describes a problem during a constant expression serialization.
  */
 class _ConstExprSerializationError {
   final String message;
 
   _ConstExprSerializationError(this.message);
 
   @override
   String toString() => message;
 }