Update charon/src/ast/expressions_utils.rs

Co-authored-by: Nadrieril <[email protected]>
AeneasVerif · Nov 12, 2024 · 97c750b · 97c750b
1 parent afbc7e6
commit 97c750b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/charon/src/ast/expressions_utils.rs b/charon/src/ast/expressions_utils.rs
@@ -94,10 +94,9 @@ impl Place {
                     }
                 }
                 Index { ty, .. } | Subslice { ty, .. } => {
-                    // We could check that that the current type is compatible with
-                    // the type of the
                     let cur_ty = cur_ty.as_array_or_slice().ok_or(())?;
                     let ty = ty.as_array_or_slice().ok_or(())?;
+                    // Sanity check: ensure we're using the same types.
                     if cur_ty == ty {
                         ty.clone()
                     } else {