diff options
| author | bors <bors@rust-lang.org> | 2021-02-11 07:50:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-02-11 07:50:02 +0000 |
| commit | 2918062d1d94b65dfd53d265e957d86fcb8bfdbd (patch) | |
| tree | c15518caae7def59959ca351dac2fb5c5606eea0 /compiler | |
| parent | 1efd8049837aec86f21da1486e8a459a7efd7806 (diff) | |
| parent | 3c1d792f498ae40eb759d4554540a94612a3df55 (diff) | |
| download | rust-2918062d1d94b65dfd53d265e957d86fcb8bfdbd.tar.gz rust-2918062d1d94b65dfd53d265e957d86fcb8bfdbd.zip | |
Auto merge of #81129 - bugadani:lighter-move-errors, r=petrochenkov
Borrowck: don't calculate unused info when reporting move errors
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_data_structures/src/graph/dominators/mod.rs | 4 | ||||
| -rw-r--r-- | compiler/rustc_mir/src/borrow_check/mod.rs | 5 |
2 files changed, 6 insertions, 3 deletions
diff --git a/compiler/rustc_data_structures/src/graph/dominators/mod.rs b/compiler/rustc_data_structures/src/graph/dominators/mod.rs index ad62e3c9fc8..1cd170599ba 100644 --- a/compiler/rustc_data_structures/src/graph/dominators/mod.rs +++ b/compiler/rustc_data_structures/src/graph/dominators/mod.rs @@ -85,6 +85,10 @@ pub struct Dominators<N: Idx> { } impl<Node: Idx> Dominators<Node> { + pub fn dummy() -> Self { + Self { post_order_rank: IndexVec::new(), immediate_dominators: IndexVec::new() } + } + pub fn is_reachable(&self, node: Node) -> bool { self.immediate_dominators[node].is_some() } diff --git a/compiler/rustc_mir/src/borrow_check/mod.rs b/compiler/rustc_mir/src/borrow_check/mod.rs index 0bd0a4060b5..375d4649171 100644 --- a/compiler/rustc_mir/src/borrow_check/mod.rs +++ b/compiler/rustc_mir/src/borrow_check/mod.rs @@ -266,7 +266,6 @@ fn do_mir_borrowck<'a, 'tcx>( for (idx, move_data_results) in promoted_errors { let promoted_body = &promoted[idx]; - let dominators = promoted_body.dominators(); if let Err((move_data, move_errors)) = move_data_results { let mut promoted_mbcx = MirBorrowckCtxt { @@ -274,7 +273,7 @@ fn do_mir_borrowck<'a, 'tcx>( param_env, body: promoted_body, move_data: &move_data, - location_table: &LocationTable::new(promoted_body), + location_table, // no need to create a real one for the promoted, it is not used movable_generator, fn_self_span_reported: Default::default(), locals_are_invalidated_at_exit, @@ -288,7 +287,7 @@ fn do_mir_borrowck<'a, 'tcx>( used_mut: Default::default(), used_mut_upvars: SmallVec::new(), borrow_set: Rc::clone(&borrow_set), - dominators, + dominators: Dominators::dummy(), // not used upvars: Vec::new(), local_names: IndexVec::from_elem(None, &promoted_body.local_decls), region_names: RefCell::default(), |