{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// For `&mut` borrows, we also need to preserve the uniqueness property:
///
/// we must avoid creating a state where we interleave uses of `*_1` and `_2`.