PROTECTED_SHIFT

miri::borrow_tracker::stacked_borrows::item

Constant PROTECTED_SHIFT 

Source 
const PROTECTED_SHIFT: u64 = 63;