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