[P2049R0](https://wg21.link/p2049r0) Constraint refinement for special-cased functions (Andrew Sutton, Wyatt Childers)