anchor.diff:  import 'package:analysis_server/src/protocol_server.dart' as protocol;
   import 'package:analysis_server/src/server/crash_reporting_attachments.dart';
   import 'package:analysis_server/src/server/diagnostic_server.dart';
  +import 'package:analysis_server/src/server/error_notifier.dart';
   import 'package:analysis_server/src/services/completion/completion_performance.dart'
       show CompletionPerformance;
   import 'package:analysis_server/src/services/refactoring/refactoring.dart';
  
positive.code:       stackTrace is StackTrace ? stackTrace : null,
        false,
      ));
    }
  
    void onOverlayCreated(String path, String content) {
  
negative.code:   /// Logs an exception by sending it to the client (window/logMessage) and
    /// recording it in a buffer on the server for diagnostics.
    void logException(String message, exception, stackTrace) {
      var fullMessage = message;
      if (exception is CaughtException) {
        stackTrace ??= exception.stackTrace;
        fullMessage = '$fullMessage: ${exception.exception}';
      } else if (exception != null) {
        fullMessage = '$fullMessage: $exception';
      }
  
      final fullError =
          stackTrace == null ? fullMessage : '$fullMessage\n$stackTrace';
  
      // Log the full message since showMessage above may be truncated or
      // formatted badly (eg. VS Code takes the newlines out).
  