https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98130
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Oops, yes, dunno why it didn't work for me before, confirmed now that it works with the patch and fails without. I think we want it even for the operator delete case, I believe the C++ standard only constraints how the replaceable operators work, not arbitrary user operator new/delete/new[]/delete[] operators.
