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