anchor.diff:            numTypeParameters: element.typeParameters.length,
             unitNum: element.enclosingElement.unitNum,
             kind: ReferenceKind.typedef);
  -    } else if (element is ExecutableElementForLink) {
  +    } else if (element is ExecutableElementForLink_NonLocal) {
         ClassElementForLink_Class enclosingClass = element.enclosingClass;
         ReferenceKind kind;
         switch (element._unlinkedExecutable.kind) {
  
positive.code: /**
   * Element representing a method resynthesized from a summary during linking.
   */
  class MethodElementForLink extends ExecutableElementForLink
      with ReferenceableElementForLink
      implements MethodElementImpl {
    MethodElementForLink(ClassElementForLink_Class enclosingClass,
  
negative.code:   String _name;
    String _displayName;
  
    @override
    final CompilationUnitElementForLink compilationUnit;
  
    ExecutableElementForLink(this.compilationUnit, this._unlinkedExecutable);
  
    /**
     * If the executable element had an explicitly declared return type, return
  