I don't think you're reading it correctly.

I'd describe this as approximately weakening aliasing xor mutability to interior-aliasing xor mutability. The motivation seeming to be to have a more expressive system that rejects fewer correct programs. With a secondary goal of interacting with more (not less) restrictive languages (namely rust).