Lines Matching refs:is_power_of_two

75     #[cfg_attr(kani, kani::requires(align.is_power_of_two() && phase < align.get()))]
85         const_assert!(align.get().is_power_of_two());
101         align.is_power_of_two() && phase < align.get()
135         align.is_power_of_two() && align.get() <= self.0.get()
913     #[cfg_attr(kani, kani::requires(repr_align.map_or(true, |align| align.is_power_of_two())))]
932         const_assert!(align.get().is_power_of_two());
1193         const_assert!(max_align.get().is_power_of_two());
2364         assert!(trailing_alignment.get().is_power_of_two());
2367             assert!(packed.get().is_power_of_two());
2368             assert!(align.get().is_power_of_two());
4027         if !prefix.align.is_power_of_two()
4028             || !field.align.is_power_of_two()
4029             || packed.map_or(false, |align| !align.is_power_of_two())
4075         if !layout.align.is_power_of_two() {
4129         if !align.is_power_of_two() {
4300         assert!(align.is_power_of_two());
4309         kani::assume(align.is_power_of_two());
4733             kani::assume(max_align.is_power_of_two());
4915             kani::assume(max_align.is_power_of_two());