You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#[cfg_attr(miri, track_caller)]// even without panics, this helps for Miri backtraces
1430
1430
#[requires(rhs < <$ActualT>::BITS)]// i.e. requires the right hand side of the shift (rhs) to be less than the number of bits in the type. This prevents undefined behavior.
1431
1431
#[ensures(|ret| *ret >= $SelfT::MIN && *ret <= $SelfT::MAX)]// ensures result is within range after bit shift
0 commit comments