[P3937R0](https://wg21.link/p3937r0) Type Erasure Requirements For Future Trivial Relocation Design (Mingxin Wang, Zhihao Yuan)