perf: stop allocating a warnings array for a clean compile

src/typstsharp.tests/Tests.cs

@@ -12,7 +12,7 @@
     public async Task BasicSource()
     {
         var compiler = TypstCompiler.FromSource("Hello World 2");
         var result = compiler.Compile().Buffers[0];
         var plainText = GetPlainText(result);
         await Assert.That(plainText).Contains("World 2");
     }
@@ -326,7 +326,7 @@
     {
         // Reported as #9
         var compiler = TypstCompiler.FromSource("= Hello world’s");
         var result = compiler.Compile().Buffers[0];
         var plainText = GetPlainText(result);
         await Assert.That(plainText).Contains("Hello world’s");
     }
@@ -519,7 +519,7 @@
             packagePath: packages.Path,
             includeSystemPackages: false);
 
         var plainText = GetPlainText(compiler.Compile().Buffers[0]);
 
         await Assert.That(plainText).Contains("Hello from a bundled package");
     }
@@ -1150,6 +1150,26 @@
         await Assert.That(document.Warnings is string[]).IsFalse();
     }
 
+    /// <summary>
+    /// The warning-free case had no coverage. This pins the public contract rather than the
+    /// allocation, so it holds whichever way the empty list is produced: empty, and not a mutable
+    /// array handed out to callers.
+    /// </summary>
+    [Test]
+    public async Task WarningsFromACleanCompileAreEmptyAndStillImmutable()
+    {
+        using var compiler = TypstCompiler.FromSource("= No warnings here");
+        var document = compiler.CompileToDocument();
+
+        await Assert.That(document.Warnings.Count).IsEqualTo(0);
+        await Assert.That(document.Warnings is string[]).IsFalse();
+
+        document.Dispose();
+
+        // Warnings are copied out of native memory eagerly, so they outlive the document.
+        await Assert.That(document.Warnings.Count).IsEqualTo(0);
+    }
+
     private const string TwoPageSource = """
                                          First page
                                          #pagebreak()

src/typstsharp/TypstDocument.cs

@@ -53,7 +53,8 @@ internal unsafe TypstDocument(CsBindgen.CompileResult native)
         }
 
         // Warnings are small and are copied eagerly so that they stay usable after disposal.
-        var warnings = new string[warningCount];
+        // A clean compile is the common case, and Array.Empty spares it the only allocation here.
+        var warnings = warningCount == 0 ? Array.Empty<string>() : new string[warningCount];
         for (int i = 0; i < warnings.Length; i++)
         {
             var warning = native.warnings[i];