@@ -64,7 +64,7 @@ impl GatherUsedMutsVisitor<'_, '_, '_> {
64
64
}
65
65
66
66
impl<'visit, 'cx, 'tcx> Visitor<'tcx> for GatherUsedMutsVisitor<'visit, 'cx, 'tcx> {
67
- fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, _location : Location) {
67
+ fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location : Location) {
68
68
debug!("visit_terminator: terminator={:?}", terminator);
69
69
match &terminator.kind {
70
70
TerminatorKind::Call { destination: Some((into, _)), .. } => {
@@ -76,10 +76,10 @@ impl<'visit, 'cx, 'tcx> Visitor<'tcx> for GatherUsedMutsVisitor<'visit, 'cx, 'tc
76
76
_ => {}
77
77
}
78
78
79
- // FIXME: no super_terminator?
79
+ self. super_terminator(terminator, location);
80
80
}
81
81
82
- fn visit_statement(&mut self, statement: &Statement<'tcx>, _location : Location) {
82
+ fn visit_statement(&mut self, statement: &Statement<'tcx>, location : Location) {
83
83
if let StatementKind::Assign(box (into, _)) = &statement.kind {
84
84
debug!(
85
85
"visit_statement: statement={:?} local={:?} \
@@ -89,7 +89,7 @@ impl<'visit, 'cx, 'tcx> Visitor<'tcx> for GatherUsedMutsVisitor<'visit, 'cx, 'tc
89
89
self.remove_never_initialized_mut_locals(*into);
90
90
}
91
91
92
- // FIXME: no super_statement?
92
+ self. super_statement(statement, location);
93
93
}
94
94
95
95
fn visit_local(&mut self, local: &Local, place_context: PlaceContext, location: Location) {
@@ -107,7 +107,5 @@ impl<'visit, 'cx, 'tcx> Visitor<'tcx> for GatherUsedMutsVisitor<'visit, 'cx, 'tc
107
107
}
108
108
}
109
109
}
110
-
111
- // FIXME: no super_local?
112
110
}
113
111
}
0 commit comments