From abb723dea21669ca9b0a1d4335ec20c2c30846af Mon Sep 17 00:00:00 2001
From: Camille GILLOT <gillot.camille@gmail.com>
Date: Sat, 21 Oct 2023 12:10:30 +0000
Subject: [PATCH] Remove redundant checks.

---
 compiler/rustc_borrowck/src/lib.rs | 18 ++----------------
 1 file changed, 2 insertions(+), 16 deletions(-)

diff --git a/compiler/rustc_borrowck/src/lib.rs b/compiler/rustc_borrowck/src/lib.rs
index 13cd7db698f..1a74582389d 100644
--- a/compiler/rustc_borrowck/src/lib.rs
+++ b/compiler/rustc_borrowck/src/lib.rs
@@ -1693,10 +1693,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
                             self.move_errors.push(MoveError::new(
                                 place,
                                 location,
-                                InteriorOfSliceOrArray {
-                                    ty: place_ty.ty,
-                                    is_index: matches!(elem, ProjectionElem::Index(..)),
-                                },
+                                InteriorOfSliceOrArray { ty: place_ty.ty, is_index: false },
                             ));
                             return;
                         }
@@ -1705,7 +1702,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
                     }
                 }
                 ProjectionElem::Index(_) => match place_ty.ty.kind() {
-                    ty::Array(..) => {
+                    ty::Array(..) | ty::Slice(..) => {
                         self.move_errors.push(MoveError::new(
                             place,
                             location,
@@ -1713,17 +1710,6 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
                         ));
                         return;
                     }
-                    ty::Slice(_) => {
-                        self.move_errors.push(MoveError::new(
-                            place,
-                            location,
-                            InteriorOfSliceOrArray {
-                                ty: place_ty.ty,
-                                is_index: matches!(elem, ProjectionElem::Index(..)),
-                            },
-                        ));
-                        return;
-                    }
                     _ => bug!("Unexpected type {place_ty:#?}"),
                 },
                 // `OpaqueCast`: only transmutes the type, so no moves there.