Эксперимент: трейт Reborrow для явного повторного заимствования

Начата работа над трейтом Reborrow — нестабильной идеей явного повторного заимствования. Идея описывает один из способов упростить работу с временами жизни, но пока это только первый шаг.

Идея

По описанию автора трейт — ближайший родственник Copy с одним отличием: он выключает источник на время жизни цели. Иными словами, можно взять ссылку из заимствованного значения так, что исходная ссылка станет недоступна на всё время, пока жив результат. Это отличается от обычного повторного заимствования, где источник остаётся действительным.

Польза такого подхода — в более точной модели владения: когда исходная ссылка действительно не должна использоваться, это можно выразить в типах, а не полагаться на дисциплину. В этом PR введён только флаг фичи и один из двух трейтов эксперимента.

Автор — aapoalas, отслеживание — rust-lang/rust#145612. Использовать пока нельзя.

Оригинал

Experiment: Reborrow trait