Remove unnecessary changes

Author: aapoalas

compiler/rustc_mir_transform/src/validate.rs

@@ -1463,12 +1463,7 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
             StatementKind::Assign(box (dest, rvalue)) => {
                 // LHS and RHS of the assignment must have the same type.
                 let left_ty = dest.ty(&self.body.local_decls, self.tcx).ty;
-                let right_ty = if let Rvalue::Reborrow(target_ty, _, _) = rvalue {
-                    // CoerceShared changes the type from right_ty to target_ty.
-                    *target_ty
-                } else {
-                    rvalue.ty(&self.body.local_decls, self.tcx)
-                };
+                let right_ty = rvalue.ty(&self.body.local_decls, self.tcx);
 
                 if !self.mir_assign_valid_types(right_ty, left_ty) {
                     self.fail(
@@ -1489,11 +1484,6 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
                 {
                     self.fail(location, "assignment to a `DerefTemp` must use `CopyForDeref`")
                 }
-
-                if matches!(rvalue, Rvalue::Reborrow(..)) {
-                    // Reborrow/CoerceShared must not call into super_statement.
-                    return;
-                }
             }
             StatementKind::AscribeUserType(..) => {
                 if self.body.phase >= MirPhase::Runtime(RuntimePhase::Initial) {