23 lines
634 B
Text
23 lines
634 B
Text
// Relaxed Rust `disjoint-index`: two consecutive `let`s borrowing elements of one container. The
|
|
// write-back is `get_disjoint_mut`, which rustc accepts.
|
|
|
|
fn add_next(v: &mut Vec<u32>, i: usize) {
|
|
let [a, b] = v.get_disjoint_mut([i, i + 1]).unwrap();
|
|
*a += *b;
|
|
}
|
|
|
|
fn swap_any(s: &mut [u32], i: usize, j: usize) {
|
|
let [x, mut y] = s.get_disjoint_mut([i, j]).unwrap();
|
|
std::mem::swap(x, y);
|
|
y = &mut s[0];
|
|
*y += 0;
|
|
}
|
|
|
|
fn main() {
|
|
let mut v = vec![1, 2, 3];
|
|
add_next(&mut v, 1);
|
|
assert_eq!(v, [1, 5, 3]);
|
|
swap_any(&mut v, 0, 2);
|
|
assert_eq!(v, [3, 5, 1]);
|
|
println!("disjoint_pair ok");
|
|
}
|