Store the result of type inference in summaries.

pkg/analyzer/test/src/summary/summarize_elements_test.dart

Index: pkg/analyzer/test/src/summary/summarize_elements_test.dart
diff --git a/pkg/analyzer/test/src/summary/summarize_elements_test.dart b/pkg/analyzer/test/src/summary/summarize_elements_test.dart
index fa7efa751ff200ab70ea382cc45484a7e7c3bae0..7b679b9e516350c540d17e85fe335136670b9f59 100644
--- a/pkg/analyzer/test/src/summary/summarize_elements_test.dart
+++ b/pkg/analyzer/test/src/summary/summarize_elements_test.dart
@@ -63,6 +63,9 @@ class SummarizeElementsTest extends ResolverTestCase with SummaryTest {
   bool get skipFullyLinkedData => false;
 
   @override
+  bool get strongMode => false;
+
+  @override
   Source addNamedSource(String filePath, String contents) {
     Source source = super.addNamedSource(filePath, contents);
     _fileContents[source] = contents;
@@ -84,7 +87,8 @@ class SummarizeElementsTest extends ResolverTestCase with SummaryTest {
    */
   void serializeLibraryElement(LibraryElement library) {
     summarize_elements.LibrarySerializationResult serializedLib =
-        summarize_elements.serializeLibrary(library, typeProvider);
+        summarize_elements.serializeLibrary(
+            library, typeProvider, analysisContext.analysisOptions.strongMode);
     {
       List<int> buffer = serializedLib.linked.toBuffer();
       linked = new LinkedLibrary.fromBuffer(buffer);