Problems related to std.debug.print formatting do not disappear from the Problems tab

[nurpax]

Consider this sequence of operations.

Step 1: no errors in the Output tab:

Step 2: introduce an error on the std.debug.print line:

Step 3: fix it and hit Save. Alas, observe how the error doesn't go away.

It does go away if I reload VSCode.

I think the error is only discovered when using the zig build check feature, as I believe ZLS doesn't find format string errors without it.

[Techatrix]

This issue is tracked by https://github.com/zigtools/zls/issues/2018.