When `proxiable_ptr_constraints::relocatability` is set to `constraint_level::trivial`, `proxy` should be [trivially relocatable](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2786r11.html).