Steven Schveighoffer wrote:
But it's a moot point, since purity *is* mangled into the symbol name.
Yes, that's done because the caller of a function may depend on that function's purity. Changing the name mangling when purity changes will ensure that the caller gets recompiled as well.
