anchor.diff:      }
     }
   
  +  void _computePendingMissingRequiredParameters(
  +      FileState file, CompilationUnit unit) {
  +    // TODO(scheglov) This can be done without "pending" if we resynthesize.
  +    var computer = new RequiredConstantsComputer(file.source);
  +    unit.accept(computer);
  +    _constants.addAll(computer.requiredConstants);
  +    _fileToPendingErrors[file] = computer.pendingErrors;
  +  }
  +
     void _computeVerifyErrors(FileState file, CompilationUnit unit) {
       RecordingErrorListener errorListener = _getErrorListener(file);
  -    CompilationUnitElement unitElement = unit.element;
  -
  -    //
  -    // Use the ErrorVerifier to compute errors.
  -    //
  -    List<PendingError> pendingErrors;
  -    {
  -      RequiredConstantsComputer computer =
  -          new RequiredConstantsComputer(file.source);
  -      unit.accept(computer);
  -      pendingErrors = computer.pendingErrors;
  -      List<ConstantEvaluationTarget> requiredConstants =
  -          computer.requiredConstants;
  -    }
   
       if (_analysisOptions.strongMode) {
         AnalysisOptionsImpl options = _analysisOptions as AnalysisOptionsImpl;
  
positive.code: 
        units.forEach((file, unit) {
          _resolveFile(file, unit);
        });
  
        _computeConstants();
  
negative.code:         new InheritanceManager(_libraryElement),
          _analysisOptions.enableSuperMixins);
      unit.accept(errorVerifier);
    }
  
    void _createAnalysisContext() {
  