Fix issue reporting diagnostic in additional file when diagnostic produced by a source generator (#80071)

Resolves microsoft/vscode-dotnettools#2173

IDE diagnostic analyzers specifically go through a special path when
reporting semantic diagnostics (different to other analyzers). This path
had an old, bogus assert to verify that if the semantic diagnostic was
in a file with no syntax tree (e.g. additional file), that also the
project the file was in had no compilation (assuming it was a typescript
project which has neither).

However this assert now gets hit because
1. Source generator diagnostics are reported as semantic diagnostics via
an IDE diagnostic analyzer
([link](https://github.com/dotnet/roslyn/blob/main/src/Workspaces/Core/Portable/Diagnostics/GeneratorDiagnosticsPlaceholderAnalyzer.cs)).
2. The Razor source generator reports diagnostics in additional files
(the .razor file)

This change removes the assert as it doesn't appear to be necessary or
valid.

Author: dibarbet

src/LanguageServer/ProtocolUnitTests/Diagnostics/AdditionalFileDiagnosticsTests.cs

@@ -15,7 +15,9 @@
 using Microsoft.CodeAnalysis.LanguageServer.Handler.Diagnostics;
 using Microsoft.CodeAnalysis.SolutionCrawler;
 using Microsoft.CodeAnalysis.Test.Utilities;
+using Microsoft.CodeAnalysis.Text;
 using Roslyn.Test.Utilities;
+using Roslyn.Test.Utilities.TestGenerators;
 using Xunit;
 using Xunit.Abstractions;
 using LSP = Roslyn.LanguageServer.Protocol;
@@ -151,6 +153,42 @@ public async Task TestWorkspaceDiagnosticsWithAdditionalFileInMultipleProjects(b
         AssertEx.Empty(results2);
     }
 
+    [Theory, CombinatorialData]
+    public async Task TestWorkspaceDiagnosticsReportsSourceGeneratorDiagnosticInAdditionalFile(bool useVSDiagnostics, bool mutatingLspWorkspace)
+    {
+        var additionaFilePath = @"C:\File.razor";
+        var workspaceXml =
+            $"""
+            <Workspace>
+                <Project Language="C#" CommonReferences="true" AssemblyName="CSProj1" FilePath="C:\CSProj1.csproj">
+                    <Document FilePath="C:\C.cs"></Document>
+                    <AdditionalDocument FilePath="{additionaFilePath}">Hello</AdditionalDocument>
+                </Project>
+            </Workspace>
+            """;
+
+        await using var testLspServer = await CreateTestWorkspaceFromXmlAsync(workspaceXml, mutatingLspWorkspace, BackgroundAnalysisScope.FullSolution, useVSDiagnostics);
+
+        // Add a generator to the solution that reports a source generator diagnostic in an additional file.
+        var generator = new DiagnosticProducingGenerator(context =>
+        {
+            return Location.Create(additionaFilePath, TextSpan.FromBounds(0, 1), new LinePositionSpan(new LinePosition(0, 0), new LinePosition(0, 1)));
+        });
+
+        testLspServer.TestWorkspace.OnAnalyzerReferenceAdded(
+            testLspServer.GetCurrentSolution().Projects.Single().Id,
+            new TestGeneratorReference(generator));
+        await testLspServer.WaitForSourceGeneratorsAsync();
+
+        var results = await RunGetWorkspacePullDiagnosticsAsync(testLspServer, useVSDiagnostics);
+        AssertEx.Equal(
+        [
+            @"C:\C.cs: []",
+            @$"C:\File.razor: [{DiagnosticProducingGenerator.Descriptor.Id}, {MockAdditionalFileDiagnosticAnalyzer.Id}]",
+            @"C:\CSProj1.csproj: []"
+        ], results.Select(r => $"{r.Uri.GetRequiredParsedUri().LocalPath}: [{string.Join(", ", r.Diagnostics!.Select(d => d.Code?.Value?.ToString()))}]"));
+    }
+
     protected override TestComposition Composition => base.Composition.AddParts(typeof(MockAdditionalFileDiagnosticAnalyzer), typeof(TestAdditionalFileDocumentSourceProvider));
 
     private protected override TestAnalyzerReferenceByLanguage CreateTestAnalyzersReference()

src/Workspaces/Core/Portable/Diagnostics/DiagnosticAnalysisResultBuilder.cs

@@ -41,9 +41,6 @@ public void AddExternalSemanticDiagnostics(DocumentId documentId, ImmutableArray
         if (diagnostics.Length == 0)
             return;
 
-        // this is for diagnostic producer that doesnt use compiler based DiagnosticAnalyzer such as TypeScript.
-        Contract.ThrowIfTrue(Project.SupportsCompilation);
-
         AddExternalDiagnostics(ref _lazySemanticLocals, documentId, diagnostics);
     }