3 //! Implementation of [`Bounded`], a wrapper around integer types limiting the number of bits
16     num::Integer,
39 fn fits_within<T: Integer>(value: T, num_bits: u32) -> bool {  in fits_within()
43 /// An integer value that requires only the `N` least significant bits of the wrapped type to be
46 /// This limits the number of usable bits in the wrapped integer type, and thus the stored value to
64 /// // An unsigned 8-bit integer, of which only the 4 LSBs are used.
160 /// Infallible conversions from a primitive integer to a large-enough [`Bounded`] are supported.
186 /// Infallible conversions from a [`Bounded`] to a primitive integer are also supported, and
214 /// Fallible conversions from any primitive integer to any [`Bounded`] are also supported using the
230 pub struct Bounded<T: Integer, const N: u32>(T);
276     T: Integer,
461         U: TryFrom<T> + Integer,  in cast()  argument
462         T: Integer,  in cast()  argument
463         U: Integer<Signedness = T::Signedness>,  in cast()
519     T: Integer,
550 pub trait TryIntoBounded<T: Integer, const N: u32> {
557 /// Any integer value can be attempted to be converted into a [`Bounded`] of any size.
560     T: Integer,
572     T: Integer,
573     U: Integer,
581 impl<T, const N: u32> Eq for Bounded<T, N> where T: Integer {}
585     T: Integer,
586     U: Integer,
596     T: Integer,
608     T: Integer,
618     T: Integer,
630     T: Integer,
642     T: Integer,
654     T: Integer,
666     T: Integer,
678     T: Integer,
690     T: Integer,
702     T: Integer,
714     T: Integer,
728     T: Integer,
740     T: Integer,
752     T: Integer,
764     T: Integer,
776     T: Integer,
788     T: Integer,
800     T: Integer,
812     T: Integer,
824     T: Integer,
836     T: Integer,
850     T: Integer,
860     T: Integer,
870     T: Integer,
880     T: Integer,
890     T: Integer,
900     T: Integer,
910     T: Integer,
924         impl<T> $trait for Bounded<T, $num_bits> where T: Integer {}
984             $type: Integer,
985             T: Integer<Signedness = <$type as Integer>::Signedness> + From<$type>,
986             Self: AtLeastXBits<{ <$type as Integer>::BITS as usize }>,
1060             $type: Integer + TryFrom<T>,
1061             T: Integer<Signedness = <$type as Integer>::Signedness>,
1062             Bounded<T, N>: FitsInXBits<{ <$type as Integer>::BITS as usize }>,
1084     T: Integer + Zeroable,
1093     T: Integer + From<bool>,
1097         // integer type for any `N` > 0.  in from()
1104     T: Integer + Zeroable,