about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/representability.rs
diff options
context:
space:
mode:
authorShoyu Vanilla <modulo641@gmail.com>2024-02-12 15:39:32 +0900
committerShoyu Vanilla <modulo641@gmail.com>2024-02-12 15:46:35 +0900
commit3856df059ed90b8fd19a82efbfb9da36f68e6bb9 (patch)
tree7a43e8e838ec0c6fc06a3e9f9b77c4e77246f179 /compiler/rustc_ty_utils/src/representability.rs
parent084ce5bdb5f7dc1c725f6770a8de281165ba3b0a (diff)
downloadrust-3856df059ed90b8fd19a82efbfb9da36f68e6bb9.tar.gz
rust-3856df059ed90b8fd19a82efbfb9da36f68e6bb9.zip
Dejargnonize subst
Diffstat (limited to 'compiler/rustc_ty_utils/src/representability.rs')
-rw-r--r--compiler/rustc_ty_utils/src/representability.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/rustc_ty_utils/src/representability.rs b/compiler/rustc_ty_utils/src/representability.rs
index 70f1f099688..3ca2aba7c04 100644
--- a/compiler/rustc_ty_utils/src/representability.rs
+++ b/compiler/rustc_ty_utils/src/representability.rs
@@ -73,8 +73,8 @@ fn representability_adt_ty<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Representab
     // At this point, we know that the item of the ADT type is representable;
     // but the type parameters may cause a cycle with an upstream type
     let params_in_repr = tcx.params_in_repr(adt.did());
-    for (i, subst) in args.iter().enumerate() {
-        if let ty::GenericArgKind::Type(ty) = subst.unpack() {
+    for (i, arg) in args.iter().enumerate() {
+        if let ty::GenericArgKind::Type(ty) = arg.unpack() {
             if params_in_repr.contains(i as u32) {
                 rtry!(representability_ty(tcx, ty));
             }
@@ -103,8 +103,8 @@ fn params_in_repr_ty<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, params_in_repr: &mut
     match *ty.kind() {
         ty::Adt(adt, args) => {
             let inner_params_in_repr = tcx.params_in_repr(adt.did());
-            for (i, subst) in args.iter().enumerate() {
-                if let ty::GenericArgKind::Type(ty) = subst.unpack() {
+            for (i, arg) in args.iter().enumerate() {
+                if let ty::GenericArgKind::Type(ty) = arg.unpack() {
                     if inner_params_in_repr.contains(i as u32) {
                         params_in_repr_ty(tcx, ty, params_in_repr);
                     }