C++17 std::launder and aliasing

[Ville Voutilainen]

On 24 October 2016 at 12:22, Jonathan Wakely <jwakely@redhat.com> wrote:
> The difference is 3.8 [basic.life] paragraph 9, which says that if the
> program ends the lifetime of the automatic object 'a' then it must
> ensure that another object of the same type occupies the same storage
> when the implicit destructor runs. So the original example is OK

Ah, thanks, that fills the gap I had with paragraph 5.