/// Returns the bit associated with a condemned ptr
Returns the bit associated with a condemned ptr
Returns the bit associated with a condemned ptr
fn fields(s: &Self, offset: u8, grey_fields: u8, invariant: &Invariant) -> u8 {
        let bit = 1 << (offset % 8);
        if grey_fields & bit == bit && invariant.condemned(s.0 as *const T as *const _) {
            bit
        } else {
            0b0000_0000
        }
    }
fn fields ( s : & Self , offset : u8 , grey_fields : u8 , invariant : & Invariant ) -> u8 { let bit = 1 << ( offset % 8 ) ; if grey_fields & bit == bit && invariant . condemned ( s . 0 as * const T as * const _ ) { bit } else { 0b0000_0000 } }
Returns the bit associated with a condemned ptr
Returns the bit associated with a condemned ptr
s
&Self
offset
u8
grey_fields
u8
invariant
&Invariant