Util: Refactor `DenseRank` implementation#18042

hvitved merged 1 commit intogithub:maingithub/codeql:mainfrom

hvitved:shared/dense-rank-refactorhvitved/codeql:shared/dense-rank-refactorCopy head branch name to clipboard