[P3402R0](https://wg21.link/p3402r0) A Safety Profile Verifying Class Initialization (Marc-André Laverdière, Christopher Lapkowski, Charles-Henri Gros)