anchor.diff:  /// will remain unresolved if they were unresolved when they were obtained.
   EvaluationResultImpl _annotationEvaluationResult(
       ElementAnnotationImpl annotation) {
  -  _resolvedLibraryOf(annotation.compilationUnit.library);
  -  return annotation.evaluationResult;
  -}
  -
  -/// Returns the `evaluationResult` for [constFieldElement], after having forced
  -/// constant resolution to take place in `constFieldElement.library`.
  -/// Note that future invocations of `constFieldElement.library` will
  -/// return a resolved library, but previously obtained results from that method
  +  EvaluationResultImpl result = annotation.evaluationResult;
  +  if (result == null) {
  +    // This is safe: The `library` will not be used again.
  +    _resolvedLibraryOf(annotation.compilationUnit.library);
  +    result = annotation.evaluationResult;
  +  }
  +  return result;
  +}
  +
  +/// Returns `evaluationResult` for the given [constFieldElement].
  +///
  +/// Returns the `evaluationResult` for [constFieldElement], after having
  +/// forced constant resolution to take place in `constFieldElement.library`.
  +/// Note that future invocations of `constFieldElement.library` will return
  +/// a resolved library, but previously obtained results from that method
   /// will remain unresolved if they were unresolved when they were obtained.
   EvaluationResultImpl _constFieldEvaluationResult(
       ConstFieldElementImpl constFieldElement) {
  -  // This is safe: The result returned from `library` will not be used again.
  -  _resolvedLibraryOf(constFieldElement.library);
  -  return constFieldElement.evaluationResult;
  -}
  -
  +  EvaluationResultImpl result = constFieldElement.evaluationResult;
  +  if (result == null) {
  +    // This is safe: The `library` will not be used again.
  +    _resolvedLibraryOf(constFieldElement.library);
  +    result = constFieldElement.evaluationResult;
  +  }
  +  return result;
  +}
  +
  +/// Returns `evaluationResult` for the given [constTopLevelVariable].
  +///
   /// Returns the `evaluationResult` for [constTopLevelVariable], after having
   /// forced constant resolution to take place in `constTopLevelvariable.library`.
   /// Note that future invocations of `constTopLevelVariable.library` will
  
positive.code:         if (import.importedLibrary != reflectableLibrary) continue;
          for (ElementAnnotationImpl metadatum in import.metadata) {
            if (metadatum.element == globalQuantifyCapabilityConstructor) {
              EvaluationResultImpl evaluation =
                  _annotationEvaluationResult(metadatum);
              if (evaluation != null && evaluation.value != null) {
                DartObjectImpl value = evaluation.value;
                String pattern = value.fields["classNamePattern"].toStringValue();
                if (pattern == null) {
                  // TODO(sigurdm) implement: Create a span for the annotation
  
negative.code:     return false;
    }
  
    // TODO(sigurdm) future: Find a way to cache these. Perhaps take an
    // element instead of name+metadata.
    bool supportsInstanceInvoke(
  