[P3033R0](https://wg21.link/p3033r0) Should we import function bodies to get the better optimizations? (Chuanqi Xu, )