[Ono-Sendai]

What you are thinking of is probably that you can't erase elements (apart from the top element) from the priority queue.

[throwaway81523]

No that wasn't it. It may have had to do with constraints on the types of values that the stdlib priority queue could hold.