Store the result of type inference in summaries.

pkg/analyzer/lib/src/summary/summary_sdk.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 analyzer.src.summary.summary_sdk;
 
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/context/cache.dart' show CacheEntry;
 import 'package:analyzer/src/context/context.dart';
@@ skipping 120 matching lines @@
 /**
  * The implementation of [SummaryResynthesizer] for Dart SDK.
  */
 class SdkSummaryResynthesizer extends SummaryResynthesizer {
   final SdkBundle bundle;
   final Map<String, UnlinkedUnit> unlinkedSummaries = <String, UnlinkedUnit>{};
   final Map<String, LinkedLibrary> linkedSummaries = <String, LinkedLibrary>{};
 
   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];
     }
     for (int i = 0; i < bundle.linkedLibraryUris.length; i++) {
       linkedSummaries[bundle.linkedLibraryUris[i]] = bundle.linkedLibraries[i];
     }
   }
 
   @override
   LinkedLibrary getLinkedSummary(String uri) {
@@ skipping 249 matching lines @@
    * throw a [StateError] if there is no class with the given name.
    */
   InterfaceType _getType(LibraryElement library, String name) {
     Element element = library.getType(name);
     if (element == null) {
       throw new StateError("No definition of type $name");
     }
     return (element as ClassElement).type;
   }
 }