Store the result of type inference in summaries.

pkg/analyzer/tool/summary/build_sdk_summary.dart

 import 'dart:io';
 
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/generated/engine.dart';
 import 'package:analyzer/src/generated/java_io.dart';
 import 'package:analyzer/src/generated/sdk.dart';
 import 'package:analyzer/src/generated/sdk_io.dart';
 import 'package:analyzer/src/generated/source.dart';
 import 'package:analyzer/src/summary/format.dart';
 import 'package:analyzer/src/summary/summarize_elements.dart';
@@ skipping 36 matching lines @@
   //
   List<String> linkedLibraryUris = <String>[];
   List<LinkedLibraryBuilder> linkedLibraries = <LinkedLibraryBuilder>[];
   List<String> unlinkedUnitUris = <String>[];
   List<UnlinkedUnitBuilder> unlinkedUnits = <UnlinkedUnitBuilder>[];
   for (SdkLibrary lib in sdk.sdkLibraries) {
     print('Resolving and serializing: ${lib.shortName}');
     Source librarySource = sdk.mapDartUri(lib.shortName);
     LibraryElement libraryElement =
         context.computeLibraryElement(librarySource);
+    // TODO(paulberry): also build a summary of the SDK in strong mode.
     LibrarySerializationResult libraryResult =
-        serializeLibrary(libraryElement, context.typeProvider);
+        serializeLibrary(libraryElement, context.typeProvider, false);
     linkedLibraryUris.add(lib.shortName);
     linkedLibraries.add(libraryResult.linked);
     unlinkedUnitUris.addAll(libraryResult.unitUris);
     unlinkedUnits.addAll(libraryResult.unlinkedUnits);
   }
   //
   // Write the whole SDK bundle.
   //
   SdkBundleBuilder sdkBundle = new SdkBundleBuilder(
       linkedLibraryUris: linkedLibraryUris,
       linkedLibraries: linkedLibraries,
       unlinkedUnitUris: unlinkedUnitUris,
       unlinkedUnits: unlinkedUnits);
   File file = new File(outputFilePath);
   file.writeAsBytesSync(sdkBundle.toBuffer(), mode: FileMode.WRITE_ONLY);
 }
 
 /**
  * The name of the SDK summary builder application.
  */
 const BINARY_NAME = "build_sdk_summary";
 
 /**
  * Print information about how to use the SDK summary builder.
  */
 void _printUsage() {
   print('Usage: $BINARY_NAME output_file_path [sdk_path]');
 }