mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

cleanup polonius liveness fact generation: refactor some type names

Browse source 
- singular instead of plurals for a relation
- terminology: use "Path"s instead of "MovePath"s
This commit is contained in:
Remy Rakic 2019-12-09 18:59:49 +01:00
parent d18bfd647e
commit 72579c9444
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/librustc_mir/borrow_check/nll/type_check/liveness/polonius.rs
View file

@ -8,16 +8,16 @@ use rustc::ty::subst::GenericArg;
use super::TypeChecker;
type VarPointRelations = Vec<(Local, LocationIndex)>;
type MovePathPointRelations = Vec<(MovePathIndex, LocationIndex)>;
type VarPointRelation = Vec<(Local, LocationIndex)>;
type PathPointRelation = Vec<(MovePathIndex, LocationIndex)>;
struct UseFactsExtractor<'me> {
var_defined: &'me mut VarPointRelations,
var_used: &'me mut VarPointRelations,
var_defined: &'me mut VarPointRelation,
var_used: &'me mut VarPointRelation,
location_table: &'me LocationTable,
var_drop_used: &'me mut Vec<(Local, Location)>,
move_data: &'me MoveData<'me>,
path_accessed_at: &'me mut MovePathPointRelations,
path_accessed_at: &'me mut PathPointRelation,
}
// A Visitor to walk through the MIR and extract point-wise facts