There is one place where purity is effectively enforced: constexpr functions called in constexpr context.

It's a little bit limited, as it's only enforced for compile time evaluations.