just reacting to the claim that a: *const T helps the compiler. That’s actually not true the compiler generally don’t assume that data behind a: *const T is constant. Any write to memory is considered like potentially mutating data behind a, and a.* must be re-evaluated.
The only thing that guarantee immutability is noalias a: *const T, and the old a: A which is going away.