Method remove

language/move-prover/bytecode/src/annotations.rs:89–94

Removes annotation of type T.

(&mut self)

    /// Removes annotation of type T.
    pub fn remove<T: Any>(&mut self) -> Option<Box<T>> {
        let id = TypeId::of::<T>();
        self.map
            .remove(&id)
            .and_then(|d| d.value.downcast::<T>().ok())
    }
}