То есть, то, что лежит под мютексом не затрагивается. Понял.
Так, всё-таки, есть ли решение у этой задачи без Box?

Есть. Берёшь parking_lot::Mutex или Rwlock, они инлайнятся. А вот dyn Trait в боксу суёшь.

Ну, то есть, нет решения без того чтобы боксить dyn trait, можно только не боксить мутекс.

Мне кажется, это можно было бы реализовать, просто нужен swap_unsized<T: !Sized>, но такого нет, насколько я вижу по доке стд

Ну просто его невозможно будет реализовать (also, нельзя делать !Sized баунд).

Чтобы сделать такой свап тебе нужен доступ к контейнеру

Его можно реализовать на уровне компилятора)

Как ты отличишь &mut полученную из Arc и из Box?) это один и тот-же тип

А зачем отличать?

Потому что тебе нужно изменить *const T который в них лежит

Кстати, <*mut T>::swap where T: ?Sized :)

*mut T
Ну так, а в чём проблема? По факту, нужно отличать T: Sized и T: !Sized, и с каждым из них понятно, что делать?

Это бага в растдоке, если что

Блин, я щас понял, что можно сделать свап безопасно, только если size_of::<dyn Tr> == size_of::<dyn Tr>

А что оно должно будет делать? Просто менять местами толстые указатели? Это делается через swap(&mut fat_ptr1, &mut fat_ptr2). Менять местами данные разного размера? Как? Паниковать если размеры разные?

Согласен, никак

Игрушка дьявола......

У тебя есть Box<T> (T: !Sized) ты через DerefMut получаешь &mut T. Чтобы поменять то что находится в Box'е тебе нужно изменить размер внутри толстого указателя в боксе, но ты ничего про бокс не знаешь, у тебя просто &mut T

Крч, принципиально нельзя свапать ?Sized вещи

Да, я ошибся

Товарищи, помогите пожалуйста найти красивое решение
Допустим есть структура
struct S1 {
   a: Option<u64>,
   b: Option<u64>,
   c: Option<u64>,
}
с несколькими Option<> элементами.. нужно их вытащить (take()) их все сразу если они все что-то содержат, иначе оставить как есть..
не хотелось бы копировать лишний  раз

пример моего текущего решения вот такой
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=aabb2e9a98ec16e147bace2f84789cc4

интересно есть ли возможность сделать это как-то короче без копирования элементов, лишних проверок и тд?