{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
/// To do it, we only perform full instantiation of mutable borrows:
/// we must avoid creating a state where we interleave uses of `*_1` and `_2`.
/// we replace either all or none of the occurrences of `*_1`.