hardRustunsafe and the aliasing modelSingle-choice MCQ

In Stacked Borrows, what does a `Unique` (sometimes shown as `Unique`/`SharedReadWrite` distinction) protector on a function argument of type `&mut T` actually enforce for the duration of the call?

fn f(r: &mut u32) { /* ... */ }