Trait Drop Copy item path

pub trait Drop: TrackDrop {
    // Required method
    exec fn drop(self, Tracked(s): Tracked<&mut Self::State>);
}

Required Methods§

self.drop_requires(*old(s)),

self.drop_ensures(*old(s), *final(s)),

Implementors§