1//^ 2//^ HEAD 3//^ 4 5//> HEAD -> CORE 6use core::marker::Destruct; 7 8 9//^ 10//^ UPDATE 11//^ 12 13//> UPDATE -> TRAIT 14#[must_use] 15pub const trait Update: Sized + [const] Destruct { 16 fn sync(self) -> (); 17 fn ignore(self) -> () {} 18}