Open
Description
What should the aliasing rules for local variables in a function be? Stacked Borrows currently says they behave like &mut. For safe code that is definitely sound, but people coming from C are often surprised that there are aliasing rules to uphold even when there is no reference anywhere.
There's a c2rust translator that had to be adjusted to for this rule, and also see this discussion.