Describe the Bug
With unused-ignore = "error" in the pyrefly config and pyrefly check reports an unused ignore, it doesn't show up in the Pyrefly VSCode extension. I looked at the code a bit and it seems to be an issue with the LSP, rather than the VSCode extension.
As far as I can tell, the issue is that the the detection of unused ignore errors happens in a separate pass, but the LSP doesn't perform that pass.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Describe the Bug
With
unused-ignore = "error"in the pyrefly config andpyrefly checkreports an unused ignore, it doesn't show up in the Pyrefly VSCode extension. I looked at the code a bit and it seems to be an issue with the LSP, rather than the VSCode extension.As far as I can tell, the issue is that the the detection of unused ignore errors happens in a separate pass, but the LSP doesn't perform that pass.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response