⬆️⬆️⬆️
А что нам, собственно говоря, нужно? Нам нужно доказательство того, что тип имеет нулевой размер. Доказательство чего-либо можно передать:
1) ограничением на тип (см. Send и Sync);
2) фактом успешного вычисления на этапе компиляции константы (см. static_assert_size);
3) значением специального типа.
Действительно, если тип имеет приватные поля, то единственный способ сконструировать значение этого типа (за вычетом unsafe, разумеется) — это использовать публичную функцию, которая конструирует значение этого типа. Что ж, давайте так и поступим:
pub mod zero_sized {
   use std::marker::PhantomData;
   
   // Доказательство должно быть параметризовано типом,
   // чтобы доказательство для одного типа не могло быть использовано
   // как доказательство другого типа.
   pub struct ZeroSizeProof<T>(PhantomData<T>, ());
   
   pub trait ZeroSized: Sized {
       #[deny(const_err)]
       const I_AM_ZERO_SIZED: ();
       fn proof_zero_size(&self) -> ZeroSizeProof<Self>;
   }

   // опять-таки, blanket…