anchor.diff:  
     @override
     bool get hasDeprecated {
  -    final metadata = this.metadata;
  -    for (var i = 0; i < metadata.length; i++) {
  -      var annotation = metadata[i];
  -      if (annotation.isDeprecated) {
  -        return true;
  -      }
  -    }
  -    return false;
  +    return (_getMetadataFlags() & _metadataFlag_hasDeprecated) != 0;
     }
   
     @override
  
positive.code:   @override
    void visitChildren(ElementVisitor visitor) {
      // There are no children to visit
    }
  }
  
  
negative.code: 
  /// A base class for concrete implementations of an [Element].
  abstract class ElementImpl implements Element {
    static const _metadataFlag_isReady = 1 << 0;
    static const _metadataFlag_hasDeprecated = 1 << 1;
    static const _metadataFlag_hasOverride = 1 << 2;
  
    /// An Unicode right arrow.
    @deprecated
    static final String RIGHT_ARROW = " \u2192 ";
  