Function elem_drop 

pub(super) unsafe fn elem_drop(
    store_modules: &AddrVec<ModuleAddr, ModuleInst<'_>>,
    store_elements: &mut AddrVec<ElemAddr, ElemInst>,
    current_module: ModuleAddr,
    elem_idx: ElemIdx,
)

Safety

1. The module address current_module must be valid in store_modules for some module instance module_inst.
2. The element index elem_idx must be valid in module_inst for some element address elem_addr.
3. elem_addr must be valid in store_elements.