@@ -43,7 +43,7 @@ pub(crate) mod indexes {
4343
4444pub ( crate ) struct DataflowBuilder < ' a , ' tcx , BD >
4545where
46- BD : BitDenotation < ' tcx >
46+ BD : BitDenotation < ' tcx > ,
4747{
4848 def_id : DefId ,
4949 flow_state : DataflowAnalysis < ' a , ' tcx , BD > ,
@@ -88,7 +88,7 @@ pub(crate) trait Dataflow<'tcx, BD: BitDenotation<'tcx>> {
8888
8989impl < ' a , ' tcx , BD > Dataflow < ' tcx , BD > for DataflowBuilder < ' a , ' tcx , BD >
9090where
91- BD : BitDenotation < ' tcx >
91+ BD : BitDenotation < ' tcx > ,
9292{
9393 fn dataflow < P > ( & mut self , p : P ) where P : Fn ( & BD , BD :: Idx ) -> DebugFormatted {
9494 self . flow_state . build_sets ( ) ;
@@ -179,12 +179,16 @@ where
179179 }
180180}
181181
182- struct PropagationContext < ' b , ' a , ' tcx , O > where O : ' b + BitDenotation < ' tcx >
182+ struct PropagationContext < ' b , ' a , ' tcx , O >
183+ where
184+ O : ' b + BitDenotation < ' tcx > ,
183185{
184186 builder : & ' b mut DataflowAnalysis < ' a , ' tcx , O > ,
185187}
186188
187- impl < ' a , ' tcx , BD > DataflowAnalysis < ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
189+ impl < ' a , ' tcx , BD > DataflowAnalysis < ' a , ' tcx , BD >
190+ where
191+ BD : BitDenotation < ' tcx > ,
188192{
189193 fn propagate ( & mut self ) {
190194 let mut temp = BitSet :: new_empty ( self . flow_state . sets . bits_per_block ) ;
@@ -234,7 +238,9 @@ impl<'a, 'tcx, BD> DataflowAnalysis<'a, 'tcx, BD> where BD: BitDenotation<'tcx>
234238 }
235239}
236240
237- impl < ' b , ' a , ' tcx , BD > PropagationContext < ' b , ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
241+ impl < ' b , ' a , ' tcx , BD > PropagationContext < ' b , ' a , ' tcx , BD >
242+ where
243+ BD : BitDenotation < ' tcx > ,
238244{
239245 fn walk_cfg ( & mut self , in_out : & mut BitSet < BD :: Idx > ) {
240246 let mut dirty_queue: WorkQueue < mir:: BasicBlock > =
@@ -265,7 +271,9 @@ fn dataflow_path(context: &str, path: &str) -> PathBuf {
265271 path
266272}
267273
268- impl < ' a , ' tcx , BD > DataflowBuilder < ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
274+ impl < ' a , ' tcx , BD > DataflowBuilder < ' a , ' tcx , BD >
275+ where
276+ BD : BitDenotation < ' tcx > ,
269277{
270278 fn pre_dataflow_instrumentation < P > ( & self , p : P ) -> io:: Result < ( ) >
271279 where P : Fn ( & BD , BD :: Idx ) -> DebugFormatted
@@ -387,14 +395,18 @@ pub fn state_for_location<'tcx, T: BitDenotation<'tcx>>(loc: Location,
387395 gen_set. to_dense ( )
388396}
389397
390- pub struct DataflowAnalysis < ' a , ' tcx , O > where O : BitDenotation < ' tcx >
398+ pub struct DataflowAnalysis < ' a , ' tcx , O >
399+ where
400+ O : BitDenotation < ' tcx > ,
391401{
392402 flow_state : DataflowState < ' tcx , O > ,
393403 dead_unwinds : & ' a BitSet < mir:: BasicBlock > ,
394404 body : & ' a Body < ' tcx > ,
395405}
396406
397- impl < ' a , ' tcx , O > DataflowAnalysis < ' a , ' tcx , O > where O : BitDenotation < ' tcx >
407+ impl < ' a , ' tcx , O > DataflowAnalysis < ' a , ' tcx , O >
408+ where
409+ O : BitDenotation < ' tcx > ,
398410{
399411 pub fn results ( self ) -> DataflowResults < ' tcx , O > {
400412 DataflowResults ( self . flow_state )
@@ -734,7 +746,10 @@ impl<'a, 'tcx, D> DataflowAnalysis<'a, 'tcx, D> where D: BitDenotation<'tcx>
734746 }
735747}
736748
737- impl < ' a , ' tcx , D > DataflowAnalysis < ' a , ' tcx , D > where D : BitDenotation < ' tcx > {
749+ impl < ' a , ' tcx , D > DataflowAnalysis < ' a , ' tcx , D >
750+ where
751+ D : BitDenotation < ' tcx > ,
752+ {
738753 /// Propagates the bits of `in_out` into all the successors of `bb`,
739754 /// using bitwise operator denoted by `self.operator`.
740755 ///
0 commit comments