Store the result of type inference in summaries.

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

Index: pkg/analyzer/lib/src/summary/summary_sdk.dart
diff --git a/pkg/analyzer/lib/src/summary/summary_sdk.dart b/pkg/analyzer/lib/src/summary/summary_sdk.dart
index e37c536b79daafad69dbf580de2b2d159556d08b..95c33f4a6f8d7f20047d007089d54f3cc11f97b5 100644
--- a/pkg/analyzer/lib/src/summary/summary_sdk.dart
+++ b/pkg/analyzer/lib/src/summary/summary_sdk.dart
@@ -138,7 +138,9 @@ class SdkSummaryResynthesizer extends SummaryResynthesizer {
 
   SdkSummaryResynthesizer(AnalysisContext context, TypeProvider typeProvider,
       SourceFactory sourceFactory, this.bundle)
-      : super(null, context, typeProvider, sourceFactory) {
+      : super(null, context, typeProvider, sourceFactory, false) {
+    // TODO(paulberry): we always resynthesize the summary in weak mode.  Is
+    // this ok?
     for (int i = 0; i < bundle.unlinkedUnitUris.length; i++) {
       unlinkedSummaries[bundle.unlinkedUnitUris[i]] = bundle.unlinkedUnits[i];
     }