[Bug libstdc++/67085] priority queue should not copy comparators when calling push_heap and pop_heap

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67085

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> ---
*** Bug 70898 has been marked as a duplicate of this bug. ***