anchor.diff:    SpecialTypeElementForLink _voidElement;
     SpecialTypeElementForLink _dynamicElement;
     SpecialTypeElementForLink _bottomElement;
  +  InheritanceManager2 _inheritanceManager;
     ContextForLink _context;
     AnalysisOptionsForLink _analysisOptions;
  +
     Linker(Map<String, LinkedLibraryBuilder> linkedLibraries, this.getDependency,
         this.getUnit, this.getAst) {
       // Create elements for the libraries to be linked.  The rest of
  
positive.code:   /// Get the element representing `dynamic`.
    SpecialTypeElementForLink get dynamicElement => _dynamicElement ??=
        new SpecialTypeElementForLink(this, DynamicTypeImpl.instance);
  
    /// Indicates whether type inference should use strong mode rules.
    @deprecated
  
negative.code:   /// Perform type inference and const cycle detection on this
    /// compilation unit.
    void link() {
      new InstanceMemberInferrer(
        library._linker.typeProvider,
        library._linker.inheritanceManager,
      ).inferCompilationUnit(this);
      for (TopLevelVariableElementForLink variable in topLevelVariables) {
        variable.link(this);
  