pub fn adt_destructor<'tcx>(_: TyCtxt<'tcx>, key: &adt_destructor<'tcx>) -> bool