private void RecordBindingDiagnostics(BindingDiagnosticBag bindingDiagnostics, Location sourceLocation)
{
if (((SyntaxTree)sourceLocation.SourceTree).ReportDocumentationCommentDiagnostics())
{
if (bindingDiagnostics.DiagnosticBag?.IsEmptyWithoutResolution == false)
{
foreach (Diagnostic diagnostic in bindingDiagnostics.DiagnosticBag.AsEnumerable())
{
// CONSIDER: Dev11 actually uses the originating location plus the offset into the cref/name
_diagnostics.Add(diagnostic.WithLocation(sourceLocation));
}
}
}
_diagnostics.AddDependencies(bindingDiagnostics);
}
