P0137 вводит шаблон функцииstd::launder и вносит много, много изменений в стандарт в разделах, касающихся союзов, времени жизни и указателей.

Какую проблему решает эта статья? Какие изменения в языке я должен знать? И что мыlaunderING?