Mutable references (`&mut T`) with complex aliasing (meta-issue)
W95Psp opened this issue · comments
Hax promotes a functional style in Rust: it doesn't aim at supporting complex mutation schemes.
We allow:
&mut
arguments on user-defined functions;- pass
&mut
arguments to any function or operator; - use of certain
&mut
-returning functions.
We disallow: