fn adt_destructor(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Option<Destructor>