public override void SetDiagnosticsInfo(string diagnosticsInfo)
 {
     MaybeInitBuilder();
     if (diagnosticsInfo == null)
     {
         builder.ClearDiagnosticsInfo();
         return;
     }
     builder.SetDiagnosticsInfo(diagnosticsInfo);
 }