Вопрос по борьбе с borrow checker, есть вектор структур (набор полей не важен), определённый алгоритм выбирает два элемента из вектора. Далее необходимо изменить один или оба элемента (например инкрементировать поле). Чтобы это сделать воспользуемся get_mut. Но так как get_mut не может статически вывести что вы не получите один и тот же элемент дважды, он заимствует весь вектор. И тут вступают правила запрета двух изменяемых ссылок. Ну короч вы и так всё знаете.
Да, я прочитал правила владения, но что предлагается взамен? Кейс сам по себе тривиальный, в этом случае компилятор отказывается компилировать корректную программу.