Lines Matching refs:NonZeroUsize
12 use core::{mem, num::NonZeroUsize};
34 pub(crate) align: NonZeroUsize,
76 const fn try_to_nonzero_elem_size(&self) -> Option<SizeInfo<NonZeroUsize>> { in try_to_nonzero_elem_size() argument
80 if let Some(elem_size) = NonZeroUsize::new(elem_size) { in try_to_nonzero_elem_size()
107 const MIN_ALIGN: NonZeroUsize = match NonZeroUsize::new(1) {
117 pub(crate) const THEORETICAL_MAX_ALIGN: NonZeroUsize =
118 match NonZeroUsize::new(1 << (POINTER_WIDTH_BITS - 1)) {
131 pub(crate) const CURRENT_MAX_ALIGN: NonZeroUsize = match NonZeroUsize::new(1 << 28) {
138 pub(crate) const CURRENT_MAX_ALIGN: NonZeroUsize = match NonZeroUsize::new(1 << 15) {
185 pub const fn new_zst(repr_align: Option<NonZeroUsize>) -> DstLayout { in new_zst()
215 align: match NonZeroUsize::new(mem::align_of::<T>()) { in for_type()
252 align: match NonZeroUsize::new(mem::align_of::<T>()) { in for_slice()
281 repr_align: Option<NonZeroUsize>, in for_repr_c_struct() argument
282 repr_packed: Option<NonZeroUsize>, in for_repr_c_struct() argument
341 pub const fn extend(self, field: DstLayout, repr_packed: Option<NonZeroUsize>) -> Self { in extend()
941 let dst_elem_size = if let Some(e) = NonZeroUsize::new(dst.elem_size) { in project()
973 let dst_elem_size = if let Some(e) = NonZeroUsize::new(dst.elem_size) { in project()
1134 core::iter::once(None).chain((0..29).map(|p| NonZeroUsize::new(2usize.pow(p)))); in test_dst_layout_extend_sized_with_sized()
1143 align: NonZeroUsize::new(align).unwrap(), in test_dst_layout_extend_sized_with_sized()
1192 let aligns = (0..29).map(|p| NonZeroUsize::new(2usize.pow(p)).unwrap()); in test_dst_layout_extend_sized_with_dst()
1216 align: NonZeroUsize::new(align).unwrap(), in test_dst_layout_extend_sized_with_dst()
1235 for align in (0..29).map(|p| NonZeroUsize::new(2usize.pow(p)).unwrap()) { in test_dst_layout_pad_to_align_with_sized()
1259 align: NonZeroUsize::new($unpadded_align).unwrap(), in test_dst_layout_pad_to_align_with_sized()
1268 align: NonZeroUsize::new($padded_align).unwrap(), in test_dst_layout_pad_to_align_with_sized()
1298 for align in (0..29).map(|p| NonZeroUsize::new(2usize.pow(p)).unwrap()) { in test_dst_layout_pad_to_align_with_dst()
1335 align: NonZeroUsize::new(align).unwrap(), in test_validate_cast_and_convert_metadata()
1616 align: NonZeroUsize, in test_validate_rust_layout()
1960 let align: NonZeroUsize = kani::any(); in any()
2057 let packed: Option<NonZeroUsize> = kani::any(); in prove_dst_layout_extend()
2180 let packed: Option<NonZeroUsize> = kani::any(); in prove_dst_layout_extend_dst_panics()