[priority-queue] Use resize instead of shrink To avoid reallocation of smaller array. Not desirable here.
2023-01-05T14:38:10