Describe the Bug
From https://pyrefly.org/en/docs/error-suppressions/#upgrading-pyrefly-and-other-changes-that-introduce-new-type-errors,
[...] pyrefly suppress --remove-unused is equivalent to pyrefly check --remove-unused-ignores.
This statement is not currently true. pyrefly suppress --remove-unused does not actually remove unused errors.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Describe the Bug
From https://pyrefly.org/en/docs/error-suppressions/#upgrading-pyrefly-and-other-changes-that-introduce-new-type-errors,
This statement is not currently true.
pyrefly suppress --remove-unuseddoes not actually remove unused errors.Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response