Lines Matching refs:SizeInfo
35 pub(crate) size_info: SizeInfo,
45 pub(crate) enum SizeInfo<E = usize> { enum
70 impl SizeInfo { implementation
76 const fn try_to_nonzero_elem_size(&self) -> Option<SizeInfo<NonZeroUsize>> { in try_to_nonzero_elem_size()
78 SizeInfo::Sized { size } => SizeInfo::Sized { size }, in try_to_nonzero_elem_size()
79 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => { in try_to_nonzero_elem_size()
81 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) in try_to_nonzero_elem_size()
195 size_info: SizeInfo::Sized { size: 0 }, in new_zst()
219 size_info: SizeInfo::Sized { size: mem::size_of::<T>() }, in for_type()
256 size_info: SizeInfo::SliceDst(TrailingSliceLayout { in for_slice()
382 SizeInfo::SliceDst(..) => const_panic!("Cannot extend a DST with additional fields."), in extend()
384 SizeInfo::Sized { size: preceding_size } => { in extend()
409 SizeInfo::Sized { size: field_size } => { in extend()
425 SizeInfo::Sized { size } in extend()
427 SizeInfo::SliceDst(TrailingSliceLayout { in extend()
447 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) in extend()
498 SizeInfo::Sized { size: unpadded_size } => { in pad_to_align()
504 (padding, SizeInfo::Sized { size }) in pad_to_align()
510 size_info @ SizeInfo::SliceDst(_) => (0, size_info), in pad_to_align()
533 SizeInfo::Sized { .. } => false, in requires_dynamic_padding()
534 SizeInfo::SliceDst(trailing_slice_layout) => { in requires_dynamic_padding()
677 SizeInfo::Sized { size } => { in validate_cast_and_convert_metadata()
683 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => { in validate_cast_and_convert_metadata()
923 SizeInfo::Sized { size: src_size }, in project()
924 SizeInfo::Sized { size: dst_size }, in project()
934 (SizeInfo::Sized { size: src_size }, SizeInfo::SliceDst(dst)) => { in project()
965 (SizeInfo::SliceDst(src), SizeInfo::SliceDst(dst)) => { in project()
1111 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => { in test_dst_layout_for_slice()
1144 size_info: SizeInfo::Sized { size: align }, in test_dst_layout_extend_sized_with_sized()
1203 size_info: SizeInfo::SliceDst(TrailingSliceLayout { elem_size, offset: 11 }), in test_dst_layout_extend_sized_with_dst()
1217 size_info: SizeInfo::SliceDst(TrailingSliceLayout { in test_dst_layout_extend_sized_with_dst()
1238 size_info: SizeInfo::Sized { size: 1 }, in test_dst_layout_pad_to_align_with_sized()
1246 size_info: SizeInfo::Sized { size: align.get() }, in test_dst_layout_pad_to_align_with_sized()
1260 size_info: SizeInfo::Sized { size: $unpadded_size }, in test_dst_layout_pad_to_align_with_sized()
1269 size_info: SizeInfo::Sized { size: $padded_size }, in test_dst_layout_pad_to_align_with_sized()
1303 size_info: SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }), in test_dst_layout_pad_to_align_with_dst()
1319 impl From<usize> for SizeInfo { in test_validate_cast_and_convert_metadata() implementation
1320 fn from(size: usize) -> SizeInfo { in test_validate_cast_and_convert_metadata() argument
1321 SizeInfo::Sized { size } in test_validate_cast_and_convert_metadata()
1326 impl From<(usize, usize)> for SizeInfo { in test_validate_cast_and_convert_metadata() implementation
1327 fn from((offset, elem_size): (usize, usize)) -> SizeInfo { in test_validate_cast_and_convert_metadata() argument
1328 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) in test_validate_cast_and_convert_metadata()
1332 fn layout<S: Into<SizeInfo>>(s: S, align: usize) -> DstLayout { in test_validate_cast_and_convert_metadata()
1432 … (@generate_size ($sizes:expr)) => { $sizes.into_iter().map(Into::<SizeInfo>::into) }; in test_validate_cast_and_convert_metadata()
1438 ).map(Into::<SizeInfo>::into) in test_validate_cast_and_convert_metadata()
1440 (@generate_fixed_size _) => { (0..8).into_iter().map(Into::<SizeInfo>::into) }; in test_validate_cast_and_convert_metadata()
1529 let sized = matches!(layout.size_info, SizeInfo::Sized { .. }); in test_validate_cast_and_convert_metadata()
1533 SizeInfo::Sized { size } => size, in test_validate_cast_and_convert_metadata()
1534 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => { in test_validate_cast_and_convert_metadata()
1564 SizeInfo::Sized { size } => size, in test_validate_cast_and_convert_metadata()
1565 SizeInfo::SliceDst(TrailingSliceLayout { offset, .. }) => { in test_validate_cast_and_convert_metadata()
1588 .map(Into::<SizeInfo>::into) in test_validate_cast_and_convert_metadata()
1589 .chain(itertools::iproduct!(sizes, elem_sizes).map(Into::<SizeInfo>::into)); in test_validate_cast_and_convert_metadata()
1591 … .filter(|(size_info, align)| !matches!(size_info, SizeInfo::Sized { size } if size % align != 0)) in test_validate_cast_and_convert_metadata()
1635 SizeInfo::SliceDst(TrailingSliceLayout { offset: args.offset, elem_size }) in test_validate_rust_layout()
1637 None => SizeInfo::Sized { in test_validate_rust_layout()
1961 let size_info: SizeInfo = kani::any(); in any()
1972 SizeInfo::Sized { size } => Layout::from_size_align(size, align.get()), in any()
1973 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size: _ }) => { in any()
1986 impl kani::Arbitrary for SizeInfo { implementation
1996 SizeInfo::Sized { size } in any()
1998 false => SizeInfo::SliceDst(kani::any()), in any()
2019 let SizeInfo::SliceDst(size_info) = layout.size_info else { in prove_requires_dynamic_padding() localVariable
2065 kani::assume(matches!(base.size_info, SizeInfo::Sized { .. })); in prove_dst_layout_extend()
2066 let base_size = if let SizeInfo::Sized { size } = base.size_info { in prove_dst_layout_extend()
2106 SizeInfo::Sized { size: field_size } => { in prove_dst_layout_extend()
2107 if let SizeInfo::Sized { size: composite_size } = composite.size_info { in prove_dst_layout_extend()
2135 SizeInfo::SliceDst(TrailingSliceLayout { in prove_dst_layout_extend()
2139 if let SizeInfo::SliceDst(TrailingSliceLayout { in prove_dst_layout_extend()
2187 kani::assume(matches!(base.size_info, SizeInfo::SliceDst(..))); in prove_dst_layout_extend_dst_panics()
2203 if let SizeInfo::Sized { size: unpadded_size } = layout.size_info { in prove_dst_layout_pad_to_align()
2204 if let SizeInfo::Sized { size: padded_size } = padded.size_info { in prove_dst_layout_pad_to_align()