fn adt_drop_tys<'tcx>( tcx: TyCtxt<'tcx>, def_id: DefId) -> Result<&'_ List<Ty<'tcx>>, AlwaysRequiresDrop>