Skip to content

Commit 72579c9

Browse files
committed
cleanup polonius liveness fact generation: refactor some type names
- singular instead of plurals for a relation - terminology: use "Path"s instead of "MovePath"s
1 parent d18bfd6 commit 72579c9

File tree

1 file changed

+5
-5
lines changed
  • src/librustc_mir/borrow_check/nll/type_check/liveness

1 file changed

+5
-5
lines changed

src/librustc_mir/borrow_check/nll/type_check/liveness/polonius.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -8,16 +8,16 @@ use rustc::ty::subst::GenericArg;
88

99
use super::TypeChecker;
1010

11-
type VarPointRelations = Vec<(Local, LocationIndex)>;
12-
type MovePathPointRelations = Vec<(MovePathIndex, LocationIndex)>;
11+
type VarPointRelation = Vec<(Local, LocationIndex)>;
12+
type PathPointRelation = Vec<(MovePathIndex, LocationIndex)>;
1313

1414
struct UseFactsExtractor<'me> {
15-
var_defined: &'me mut VarPointRelations,
16-
var_used: &'me mut VarPointRelations,
15+
var_defined: &'me mut VarPointRelation,
16+
var_used: &'me mut VarPointRelation,
1717
location_table: &'me LocationTable,
1818
var_drop_used: &'me mut Vec<(Local, Location)>,
1919
move_data: &'me MoveData<'me>,
20-
path_accessed_at: &'me mut MovePathPointRelations,
20+
path_accessed_at: &'me mut PathPointRelation,
2121
}
2222

2323
// A Visitor to walk through the MIR and extract point-wise facts

0 commit comments

Comments
 (0)