The compiler guarantees that there are no outstanding borrows when passing a unique pointer by-value. Note that we already tag `&mut` parameters as `noalias` now.