An important bit to understand when writing Rust code is that passing &'a mut around often inserts automatic reborrows, like &mut *x, which allows to “shorten” a unique lifetime and can easy be confused with variance.
Is this behavior documented anywhere?