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.