[P2782R0](https://wg21.link/p2782r0) A proposal for a type trait to detect if value initialization can be achieved by zero-filling (Giuseppe D'Angelo)