Unstable test SlowlyTypeFile

[keyboardDrummer]

https://github.com/dafny-lang/dafny/actions/runs/11722734981/job/32652925013?pr=5846

Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization.EditDocumentTest.SlowlyTypeFile()
[xUnit.net 00:02:38.40]         --- End of stack trace from previous location ---
  Failed Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization.EditDocumentTest.SlowlyTypeFile [1 s]
  Error Message:
   System.ArgumentException : index 200 is outside of the text buffer
  Stack Trace:
     at Microsoft.Dafny.LanguageServer.Workspace.TextBuffer.IndexToLine(Int32 index) in D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer\Workspace\TextBuffer.cs:line 63
   at Microsoft.Dafny.LanguageServer.Workspace.TextBuffer.FromIndex(Int32 index) in D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer\Workspace\TextBuffer.cs:line 55
   at Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization.EditDocumentTest.SlowlyTypeInSource(String source, Int32 steps) in D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer.Test\Synchronization\EditDocumentTest.cs:line 238
   at Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization.EditDocumentTest.SlowlyTypeFile() in D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer.Test\Synchronization\EditDocumentTest.cs:line 210
--- End of stack trace from previous location ---