C/C++ compilers provide other means to provide the optimizer with information about actual mutation/aliasing than const-types. So it doesn't really compare well.
Besides, none of this makes a lot of sense until you have fully specified a sound memory model + type system for shared...