From 97ed8083220f0924434f9c3863a78faa69035a7a Mon Sep 17 00:00:00 2001 From: Lukas Markeffsky <@> Date: Fri, 12 May 2023 23:13:30 +0200 Subject: [PATCH] remove no-op logic --- .../rustc_mir_transform/src/deduce_param_attrs.rs | 15 ++------------- 1 file changed, 2 insertions(+), 13 deletions(-) diff --git a/compiler/rustc_mir_transform/src/deduce_param_attrs.rs b/compiler/rustc_mir_transform/src/deduce_param_attrs.rs index 8ee08c5be341..cfd2655f35bf 100644 --- a/compiler/rustc_mir_transform/src/deduce_param_attrs.rs +++ b/compiler/rustc_mir_transform/src/deduce_param_attrs.rs @@ -29,25 +29,14 @@ impl DeduceReadOnly { } impl<'tcx> Visitor<'tcx> for DeduceReadOnly { - fn visit_local(&mut self, local: Local, mut context: PlaceContext, _: Location) { + fn visit_local(&mut self, local: Local, context: PlaceContext, _location: Location) { // We're only interested in arguments. if local == RETURN_PLACE || local.index() > self.mutable_args.domain_size() { return; } - // Replace place contexts that are moves with copies. This is safe in all cases except - // function argument position, which we already handled in `visit_terminator()` by using the - // ArgumentChecker. See the comment in that method for more details. - // - // In the future, we might want to move this out into a separate pass, but for now let's - // just do it on the fly because that's faster. - if matches!(context, PlaceContext::NonMutatingUse(NonMutatingUseContext::Move)) { - context = PlaceContext::NonMutatingUse(NonMutatingUseContext::Copy); - } - match context { - PlaceContext::MutatingUse(..) - | PlaceContext::NonMutatingUse(NonMutatingUseContext::Move) => { + PlaceContext::MutatingUse(..) => { // This is a mutation, so mark it as such. self.mutable_args.insert(local.index() - 1); }