[Bug c++/95349] Using std::launder(p) produces unexpected behavior where (p) produces expected behavior

[andrew2085 at gmail dot com]

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

--- Comment #25 from Andrew Downing <andrew2085 at gmail dot com> ---
Do you know how to change that example so that gcc's knowledge is incomplete
and it not longer does the correct thing?