Track implicit vs explicit types in summaries.

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

 // Copyright (c) 2015, 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.elements;
 
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/resolver.dart';
 import 'package:analyzer/src/generated/utilities_dart.dart';
 import 'package:analyzer/src/summary/builder.dart';
@@ skipping 376 matching lines @@
     } else if (executableElement is ConstructorElement) {
       b.kind = UnlinkedExecutableKind.constructor;
       b.isConst = executableElement.isConst;
       b.isFactory = executableElement.isFactory;
     } else {
       b.kind = UnlinkedExecutableKind.functionOrMethod;
     }
     b.isAbstract = executableElement.isAbstract;
     b.isStatic = executableElement.isStatic &&
         executableElement.enclosingElement is ClassElement;
+    b.hasImplicitReturnType = executableElement.hasImplicitReturnType;
     return b;
   }
 
   /**
    * Serialize the given [exportElement] into an [UnlinkedExport].
    */
   UnlinkedExportBuilder serializeExport(ExportElement exportElement) {
     UnlinkedExportBuilder b = new UnlinkedExportBuilder(ctx);
     b.uri = exportElement.uri;
     b.combinators = exportElement.combinators.map(serializeCombinator).toList();
@@ skipping 82 matching lines @@
     b.isInitializingFormal = parameter.isInitializingFormal;
     DartType type = parameter.type;
     if (type is FunctionType) {
       b.isFunctionTyped = true;
       if (!type.returnType.isVoid) {
         b.type = serializeTypeRef(type.returnType, parameter);
       }
       b.parameters = type.parameters.map(serializeParam).toList();
     } else {
       b.type = serializeTypeRef(type, parameter);
+      b.hasImplicitType = parameter.hasImplicitType;
     }
     return b;
   }
 
   /**
    * Serialize the given [typedefElement], which exists in the unit numbered
    * [unitNum], creating an [UnlinkedTypedef].
    */
   UnlinkedTypedefBuilder serializeTypedef(
       FunctionTypeAliasElement typedefElement, int unitNum) {
@@ skipping 109 matching lines @@
     if (variable.enclosingElement is ClassElement) {
       assert(unitNum == 0);
     }
     UnlinkedVariableBuilder b = new UnlinkedVariableBuilder(ctx);
     b.name = variable.name;
     b.unit = unitNum;
     b.type = serializeTypeRef(variable.type, variable);
     b.isStatic = variable.isStatic && variable.enclosingElement is ClassElement;
     b.isFinal = variable.isFinal;
     b.isConst = variable.isConst;
+    b.hasImplicitType = variable.hasImplicitType;
     return b;
   }
 }