P3852R1 — constexpr `is_pointer_within` memory area
LEWG
At first maybe this does seem as somehow arcane or esoteric. But this is a problem worth solving and it will make C++ a bit more expressive.