Closed
Description
&mut is guaranteed to never alias as a property of the type, so this can safely be used in function parameter annotations. I don't think there will be much (if any) broken unsafe code to fix.
This won't replace the need for an alias analysis pass, but it's a step towards that.