pub(crate) fn adt_destructor() -> DepKindStruct