> Есть ещё маленький вопрос: я правильно понимаю, что
> const _: () = assert!(std::mem::size_of::<u64>() == 8);
> это эквивалент
> static_assert(sizeof(uint64_t) == 8);

Нет. Результат assert'а в первом случае сохраняется в переменную. В _const_ переменную. То есть assert! должен отработать во время компиляции, а не в рантайме. И обломаться если что должна компиляция, а не рантайм.