anchor.diff:  import 'package:analyzer/src/summary/format.dart';
   import 'package:analyzer/src/summary/idl.dart';
   import 'package:analyzer/src/summary/summary_sdk.dart';
  +
  +/**
  + * Expando for marking types with implicit type arguments, which are the same as
  + * type parameter bounds (in strong mode), or `dynamic` (in spec mode).
  + *
  + * If a type is associated with a non-null value in this expando, then it has
  + * implicit type arguments.
  + */
  +final _typesWithImplicitTypeArguments = new Expando();
   
   /// An instance of [LibraryResynthesizer] is responsible for resynthesizing the
   /// elements in a single library from that library's summary.
  
positive.code:   final Map<String, CompilationUnitElementImpl> resynthesizedUnits =
        <String, CompilationUnitElementImpl>{};
  
    /**
     * Types with implicit type arguments, which are the same as type parameter
     * bounds (in strong mode), or `dynamic` (in spec mode).
     */
    final Set<DartType> typesWithImplicitTypeArguments =
        new Set<DartType>.identity();
  
    _LibraryResynthesizer(this.summaryResynthesizer, this.linkedLibrary,
        this.unlinkedUnits, this.librarySource) {
      libraryUri = librarySource.uri.toString();
  
negative.code:       // Mark the type as having implicit type arguments, so that we don't
        // attempt to request them during constant expression resynthesizing.
        if (typeArguments == null) {
          _typesWithImplicitTypeArguments[type] = true;
        }
        // Done.
        return type;
  