Minoru @ttldtor: на кодген смотреть может быть не слишком интересно, потому что очевидно, что там будут синхронизационные примитивы — без них код просто не скомпилируется. Только примитивы эти добавлены не Sync; они будут частью типов вроде std::sync::Arc (atomic reference counting)
Minoru @ttldtor: на кодген смотреть может быть не слишком интересно, потому что очевидно, что там будут синхронизационные примитивы — без них код просто не скомпилируется. Только примитивы эти добавлены не Sync; они будут частью типов вроде std::sync::Arc (atomic reference counting)
Ты меня сейчас запутаешь и я подумаю, что Sync - это некий атрибут, который ничего не делает, не является "стратегией", которая бы правильно обрабатывалась
Minoru @ttldtor: ну, это и есть атрибут (на уровне типов), который что-то делает только в компайл-тайме — мешает передать ссылки на типы, не реализующие Sync, в другие треды