This isn't actually necessary: it is free to create an empty priority queue, and `.extend` (below) reserves space.