Trait Drop Copy item path

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

Required Methods§

self.drop_requires(s),

self.drop_ensures(s, res@),

Implementors§