I believe not. The method signature indicates that each reference claims exclusive access to the struct, so it may even be backwards incompatible to add the new

I believe not. The method signature indicates that each reference claims exclusive access to the struct, so it may even be backwards incompatible to add the new behavior without a syntax addition. I believe one of the proposals to this end is "view types".