On 4/26/24 15:27, Timon Gehr wrote: >> The borrow checker does solve it, though. >> ... > > It does not, because it does not actually get aliasing under control. It > adds checks that are incomplete (And also insufficient.) > in some programs, and unnecessary in other programs. (I assumed you were talking about the `@live` borrow checker.)