@@ -109,7 +109,7 @@ where
109
109
/// For backward analyses, this is the state that will be propagated to its
110
110
/// predecessors (ignoring edge-specific effects).
111
111
pub fn seek_to_block_start ( & mut self , block : BasicBlock ) {
112
- if A :: Direction :: is_forward ( ) {
112
+ if A :: Direction :: IS_FORWARD {
113
113
self . seek_to_block_entry ( block)
114
114
} else {
115
115
self . seek_after ( Location { block, statement_index : 0 } , Effect :: Primary )
@@ -123,7 +123,7 @@ where
123
123
/// For forward analyses, this is the state that will be propagated to its
124
124
/// successors (ignoring edge-specific effects).
125
125
pub fn seek_to_block_end ( & mut self , block : BasicBlock ) {
126
- if A :: Direction :: is_backward ( ) {
126
+ if A :: Direction :: IS_BACKWARD {
127
127
self . seek_to_block_entry ( block)
128
128
} else {
129
129
self . seek_after ( self . body . terminator_loc ( block) , Effect :: Primary )
@@ -157,7 +157,7 @@ where
157
157
self . seek_to_block_entry ( target. block ) ;
158
158
} else if let Some ( curr_effect) = self . pos . curr_effect_index {
159
159
let mut ord = curr_effect. statement_index . cmp ( & target. statement_index ) ;
160
- if A :: Direction :: is_backward ( ) {
160
+ if A :: Direction :: IS_BACKWARD {
161
161
ord = ord. reverse ( )
162
162
}
163
163
@@ -173,7 +173,7 @@ where
173
173
debug_assert_eq ! ( target. block, self . pos. block) ;
174
174
175
175
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 {
177
177
#[ rustfmt:: skip]
178
178
self . pos . curr_effect_index . map_or_else (
179
179
|| Effect :: Before . at_index ( 0 ) ,
0 commit comments