Annotation warnings are bleeding over from other workspaces

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Annotations, Diagnostics/Syntax Checking

Expected Behaviour

Annotation warning from another workspace do not show up in the current workspace.

Actual Behaviour

Workspace structure is as follows

\Projects
  -- Annotations (separate workspace, VS Code has setting "Lua.workspace.library" referencing this folder)
  -- Project 1 (separate workspace)

Annotations are over 100 files defining the API surface of a hosting program. In the workspace for the annotations, the diagnostic for missing-return is turned off for that workspace. This is to allow for the annotation of methods on the API via function nomenclature. Naturally, these functions do not have any implementation and the diagnostic warning appears.

When the annotations are referenced (---@type) in another project workspace (e.g., Project 1 above), these diagnostic warnings can appear in the workspace for Project 1. Clicking the warning in the Problems area to open the file and then closing the file dismisses the warnings for that file.

Reproduction steps

There are no specific "steps" to recreate this problem.

Additional Notes

No response

Log File

file_e%3A_Games_RedGuides_MacroQuest_lua_FightForge.zip

Beginne mit der Untersuchung des angehängten Logs und reproduziere das beschriebene Layout mit einem über Lua.workspace.library referenzierten Annotations workspace und einem separaten Project 1 workspace. Verfolge, warum Diagnosen zu fehlenden Rückgabewerten die Workspace-Grenze überschreiten; abgeschlossen ist die Aufgabe, wenn in der Annotations workspace deaktivierte Warnungen nicht in Project 1 erscheinen, ohne dass die Datei geöffnet und geschlossen werden muss.