3 ms·
> The borrow checker rejects loads of sound programs - just read https://rust-unofficial.github.io/too-many-lists/ https://rust-unofficial.github.io/too-many-li
by oconnor663 1y ago
> The borrow checker rejects loads of sound programs - just read https://rust-unofficial.github.io/too-many-lists/ https://rust-unofficial.github.io/too-many-lists/
It's important to be careful here: a lot (most? all?) of these rejections are programs that could be sound in a hypothetical Rust variant that didn't assert the unique/"noalias" nature of &mut reference, but are in fact unsound in actual Rust.