priority_queue
constructors taking both Container
and Alloc
arguments should
finish by calling make_heap
, just as with the constructors that do not have allocator parameters.
The current reading of [priqueue.cons.alloc], if followed strictly, would effectively require calling code to ensure that the container argument is already a heap, which is probably not what was intended.