UnsafePointer is not a compiler built-in, it is simply a regular type. Mojo consistently applies mut convention rule to arguments. You, however, are proposing to introduce special rules for specific types. I am almost certain that this proposal will be rejected, as it entails significant changes to the overall language design and benefits are highly questionable.