https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114354
Jiang An <de34 at live dot cn> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |de34 at live dot cn
--- Comment #1 from Jiang An <de34 at live dot cn> ---
The constraints were transformed from preconditions by LWG2874
(https://cplusplus.github.io/LWG/issue2874). So perhaps the actually issue is
not having implemented LWG2874, and I think the constraints need to be
implemented for C++17.
The wording change in LWG2874 seems to be on the top of P0414R2 + P0497R0. I'm
not sure what the "backported form of LWG2874" exactly is. Perhaps it's simply
"This constructor shall not participate in overload resolution unless the
expression delete p is well-formed and Y* is convertible to T*." (not
considering whether T or Y is an array type)?
