fn adt_drop_tys_helper<'tcx>( tcx: TyCtxt<'tcx>, def_id: DefId, adt_has_dtor: impl Fn(&AdtDef) -> Option<DtorType>) -> Result<&List<Ty<'tcx>>, AlwaysRequiresDrop>