@@ -109,7 +109,7 @@ where
109109 /// For backward analyses, this is the state that will be propagated to its
110110 /// predecessors (ignoring edge-specific effects).
111111 pub fn seek_to_block_start ( & mut self , block : BasicBlock ) {
112- if A :: Direction :: is_forward ( ) {
112+ if A :: Direction :: IS_FORWARD {
113113 self . seek_to_block_entry ( block)
114114 } else {
115115 self . seek_after ( Location { block, statement_index : 0 } , Effect :: Primary )
@@ -123,7 +123,7 @@ where
123123 /// For forward analyses, this is the state that will be propagated to its
124124 /// successors (ignoring edge-specific effects).
125125 pub fn seek_to_block_end ( & mut self , block : BasicBlock ) {
126- if A :: Direction :: is_backward ( ) {
126+ if A :: Direction :: IS_BACKWARD {
127127 self . seek_to_block_entry ( block)
128128 } else {
129129 self . seek_after ( self . body . terminator_loc ( block) , Effect :: Primary )
@@ -157,7 +157,7 @@ where
157157 self . seek_to_block_entry ( target. block ) ;
158158 } else if let Some ( curr_effect) = self . pos . curr_effect_index {
159159 let mut ord = curr_effect. statement_index . cmp ( & target. statement_index ) ;
160- if A :: Direction :: is_backward ( ) {
160+ if A :: Direction :: IS_BACKWARD {
161161 ord = ord. reverse ( )
162162 }
163163
@@ -173,7 +173,7 @@ where
173173 debug_assert_eq ! ( target. block, self . pos. block) ;
174174
175175 let block_data = & self . body [ target. block ] ;
176- let next_effect = if A :: Direction :: is_forward ( ) {
176+ let next_effect = if A :: Direction :: IS_FORWARD {
177177 #[ rustfmt:: skip]
178178 self . pos . curr_effect_index . map_or_else (
179179 || Effect :: Before . at_index ( 0 ) ,
0 commit comments