[P3707R0](https://wg21.link/p3707r0) A std::is_always_exhaustive trait (Patrice Roy, Gregoire Angerand)