Rust Borrow Checker Betrayal

increment(&mut arr[arr.len() - 1]); Compiles Rust Yup. let range = 2..arr.len() - 1; increment_slice(&mut arr[range]); also compiles Then increment_slice(&mut arr[2..arr.len() - 1]); should also compile Rust Makes sense to me. Then compile it. error[E0502]: cannot borrow `arr` as immutable because it is also borrowed as mutable For more information about this error, try `rustc --explain E0502`.

Патрик Стар и супергерой из «Губки Боба» обсуждают несколько вариантов Rust-кода. Первые варианты компилируются, поэтому Rust уверенно соглашается, но при финальной компиляции появляется ошибка заимствования E0502. Мем высмеивает непредсказуемость borrow checker и подходит как реакция на внезапную ошибку в, казалось бы, логичном коде.

• @gentoomemes / 980 2022-09-26
• @profunctor_io / 8293 2022-09-26