issue #22155: Linting.