Я выше написал. Раст умеет отслеживать только текущий скоуп, условно. Вот там примитивная логика подсчёта алиасов. ==1 - mut. >1 - ro. Но в реальности это целиком иполностью бесполезно, там кто-то кидал на wlifetime. Вот раст в принципе не может вообще ничего, что адепты пытаются там проверять.

Поэтому были введены лайфтаймы и адепта заставили работать за анализатор. Лайфтамы предполагались как ручное прописывание алиасов.

только это не означает что через шаред ссылку нельзя

нету в расте никаких шаред-ссылок

& - шаред ссылка

она не может быть ссылкой, если это ссылка обычная - её нельзя порашить при сохранении мутабельности

в смысле не может? Я говорю что когда я пишу "ссылка" я говорю про &.

Ты же не будешь спорить об определениях?

Нет, то что одна ссылка и другая ссылка - это ничего не значит. Шаринг предполагает rw, т.е. это должна быть полноценная ссылка

он итак безопасный по определению

ну да, а что плохого в безопасных по-определению вещах?