71     pub(crate) fn miri_promise_symbolic_alignment(ptr: *const (), align: usize);  in miri_promise_symbolic_alignment()
148     kani::requires(align.is_power_of_two()),
149     kani::ensures(|&p| (len + p) % align.get() == 0),
151     kani::ensures(|&p| p < align.get()),
155 pub(crate) const fn padding_needed_for(len: usize, align: NonZeroUsize) -> usize {  in padding_needed_for()
168     let mask = align.get() - 1;  in padding_needed_for()
227     kani::requires(align.is_power_of_two()),
228     kani::ensures(|&m| m <= n && m % align.get() == 0),
233         m.checked_add(align.get()).map(|next_mul| next_mul > n).unwrap_or(true)
238     align: NonZeroUsize,  in round_down_to_next_multiple_of_alignment()
246     let align = align.get();  in round_down_to_next_multiple_of_alignment()  localVariable
248     debug_assert!(align.is_power_of_two());  in round_down_to_next_multiple_of_alignment()
252     let mask = !(align - 1);  in round_down_to_next_multiple_of_alignment()
393     let align = T::LAYOUT.align.get();  in new_box()  localVariable
415         let layout: Layout = unsafe { Layout::from_size_align_unchecked(size, align) };  in new_box()
443         let dangling = unsafe { mem::transmute::<usize, *mut u8>(align) };  in new_box()
587             util::padding_needed_for(unpadded_size, T::LAYOUT.align)  in padding_needed_for()
615                         align: T::LAYOUT.align,  in validate_cast_and_convert_metadata()
871     #[repr(C, align(8))]
898         fn alt_impl(n: usize, align: NonZeroUsize) -> usize {  in test_round_down_to_next_multiple_of_alignment()
899             let mul = n / align.get();  in test_round_down_to_next_multiple_of_alignment()
900             mul * align.get()  in test_round_down_to_next_multiple_of_alignment()
903         for align in [1, 2, 4, 8, 16] {  in test_round_down_to_next_multiple_of_alignment()
905                 let align = NonZeroUsize::new(align).unwrap();  in test_round_down_to_next_multiple_of_alignment()  localVariable
906                 let want = alt_impl(n, align);  in test_round_down_to_next_multiple_of_alignment()
907                 let got = round_down_to_next_multiple_of_alignment(n, align);  in test_round_down_to_next_multiple_of_alignment()
908                 assert_eq!(got, want, "round_down_to_next_multiple_of_alignment({}, {})", n, align);  in test_round_down_to_next_multiple_of_alignment()