mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Revert "Count copies of locals as borrowed temporaries"

Browse Source 
This reverts commit 0d270b5e9f48268735f9a05462df65c9d1039855.
This commit is contained in:
Eric Holk 2022-05-17 15:04:05 -07:00
parent d5b72058fe
commit 7db4c0277d
2 changed files with 2 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_typeck/src/check/generator_interior/drop_ranges/record_consumed_borrow.rs
View File

@ -171,13 +171,7 @@ impl<'tcx> expr_use_visitor::Delegate<'tcx> for ExprUseDelegate<'tcx> {
.insert(TrackedValue::from_place_with_projections_allowed(place_with_id));
// For copied we treat this mostly like a borrow except that we don't add the place
// to borrowed_temporaries if it is not a local because the copy is consumed.
match place_with_id.place.base {
PlaceBase::Rvalue | PlaceBase::StaticItem | PlaceBase::Upvar(_) => (),
PlaceBase::Local(_) => {
self.places.borrowed_temporaries.insert(place_with_id.hir_id);
}
}
// to borrowed_temporaries because the copy is consumed.
}
fn mutate(

14
src/test/ui/generator/drop-tracking-yielding-in-match-guards.rs
View File

@ -14,20 +14,8 @@
#![feature(generators)]
fn main() {
let _a = static |x: u8| match x {
let _ = static |x: u8| match x {
y if { yield } == y + 1 => (),
_ => (),
};
static STATIC: u8 = 42;
let _b = static |x: u8| match x {
y if { yield } == STATIC + 1 => (),
_ => (),
};
let upvar = 42u8;
let _c = static |x: u8| match x {
y if { yield } == upvar + 1 => (),
_ => (),
};
}