@@ -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