diff options
| author | Lukas Markeffsky <@> | 2023-05-12 23:13:30 +0200 |
|---|---|---|
| committer | Lukas Markeffsky <@> | 2023-05-12 23:14:31 +0200 |
| commit | 97ed8083220f0924434f9c3863a78faa69035a7a (patch) | |
| tree | eb6cfacf1642e9d8b2f0b9aa6ea5ae8906316894 /compiler/rustc_mir_transform/src | |
| parent | 4a59ba4d54a3ec0d8ea1e82b7eeb5c8b0162de04 (diff) | |
| download | rust-97ed8083220f0924434f9c3863a78faa69035a7a.tar.gz rust-97ed8083220f0924434f9c3863a78faa69035a7a.zip | |
remove no-op logic
Diffstat (limited to 'compiler/rustc_mir_transform/src')
| -rw-r--r-- | compiler/rustc_mir_transform/src/deduce_param_attrs.rs | 15 |
1 files 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 8ee08c5be34..cfd2655f35b 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); } |
