@@ -97,11 +97,10 @@ impl<Bx: BuilderMethods<'a, 'tcx>> LocalAnalyzer<'mir, 'a, 'tcx, Bx> {
9797impl < ' mir , ' a : ' mir , ' tcx : ' a , Bx : BuilderMethods < ' a , ' tcx > > Visitor < ' tcx >
9898 for LocalAnalyzer < ' mir , ' a , ' tcx , Bx > {
9999 fn visit_assign ( & mut self ,
100- block : mir:: BasicBlock ,
101100 place : & mir:: Place < ' tcx > ,
102101 rvalue : & mir:: Rvalue < ' tcx > ,
103102 location : Location ) {
104- debug ! ( "visit_assign(block={:?}, place={:?}, rvalue={:?})" , block , place, rvalue) ;
103+ debug ! ( "visit_assign(place={:?}, rvalue={:?})" , place, rvalue) ;
105104
106105 if let mir:: Place :: Base ( mir:: PlaceBase :: Local ( index) ) = * place {
107106 self . assign ( index, location) ;
@@ -120,7 +119,6 @@ impl<'mir, 'a: 'mir, 'tcx: 'a, Bx: BuilderMethods<'a, 'tcx>> Visitor<'tcx>
120119 }
121120
122121 fn visit_terminator_kind ( & mut self ,
123- block : mir:: BasicBlock ,
124122 kind : & mir:: TerminatorKind < ' tcx > ,
125123 location : Location ) {
126124 let check = match * kind {
@@ -148,12 +146,12 @@ impl<'mir, 'a: 'mir, 'tcx: 'a, Bx: BuilderMethods<'a, 'tcx>> Visitor<'tcx>
148146 }
149147 }
150148
151- self . super_terminator_kind ( block , kind, location) ;
149+ self . super_terminator_kind ( kind, location) ;
152150 }
153151
154152 fn visit_place ( & mut self ,
155153 place : & mir:: Place < ' tcx > ,
156- context : PlaceContext < ' tcx > ,
154+ context : PlaceContext ,
157155 location : Location ) {
158156 debug ! ( "visit_place(place={:?}, context={:?})" , place, context) ;
159157 let cx = self . fx . cx ;
@@ -205,7 +203,7 @@ impl<'mir, 'a: 'mir, 'tcx: 'a, Bx: BuilderMethods<'a, 'tcx>> Visitor<'tcx>
205203
206204 fn visit_local ( & mut self ,
207205 & local: & mir:: Local ,
208- context : PlaceContext < ' tcx > ,
206+ context : PlaceContext ,
209207 location : Location ) {
210208 match context {
211209 PlaceContext :: MutatingUse ( MutatingUseContext :: Call ) => {
@@ -235,11 +233,11 @@ impl<'mir, 'a: 'mir, 'tcx: 'a, Bx: BuilderMethods<'a, 'tcx>> Visitor<'tcx>
235233 PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: Inspect ) |
236234 PlaceContext :: MutatingUse ( MutatingUseContext :: Store ) |
237235 PlaceContext :: MutatingUse ( MutatingUseContext :: AsmOutput ) |
238- PlaceContext :: MutatingUse ( MutatingUseContext :: Borrow ( .. ) ) |
236+ PlaceContext :: MutatingUse ( MutatingUseContext :: Borrow ) |
239237 PlaceContext :: MutatingUse ( MutatingUseContext :: Projection ) |
240- PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: SharedBorrow ( .. ) ) |
241- PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: UniqueBorrow ( .. ) ) |
242- PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: ShallowBorrow ( .. ) ) |
238+ PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: SharedBorrow ) |
239+ PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: UniqueBorrow ) |
240+ PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: ShallowBorrow ) |
243241 PlaceContext :: NonMutatingUse ( NonMutatingUseContext :: Projection ) => {
244242 self . not_ssa ( local) ;
245243 }
0 commit comments