67     pub(crate) elem_size: E,  field
79             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in try_to_nonzero_elem_size()
80                 if let Some(elem_size) = NonZeroUsize::new(elem_size) {  in try_to_nonzero_elem_size()
81                     SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in try_to_nonzero_elem_size()
258                 elem_size: mem::size_of::<T>(),  in for_slice()
429                             elem_size,  in extend()
447                             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in extend()
538                     || trailing_slice_layout.elem_size % self.align.get() != 0  in requires_dynamic_padding()
683             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in validate_cast_and_convert_metadata()
707                 let elems = max_slice_and_padding_bytes / elem_size.get();  in validate_cast_and_convert_metadata()
717                 let without_padding = offset + elems * elem_size.get();  in validate_cast_and_convert_metadata()
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()
987                             let elem_remainder = src.elem_size % dst_elem_size.get();  in project()
990                                 || src.elem_size < dst.elem_size  in project()
1004                             let elem_multiple = src.elem_size / dst_elem_size.get();  in project()
1111             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in test_dst_layout_for_slice()
1113                 assert_eq!(elem_size, 4);  in test_dst_layout_for_slice()
1198                 let elem_size = 42;  in test_dst_layout_extend_sized_with_dst()  localVariable
1203                     size_info: SizeInfo::SliceDst(TrailingSliceLayout { elem_size, offset: 11 }),  in test_dst_layout_extend_sized_with_dst()
1218                             elem_size,  in test_dst_layout_extend_sized_with_dst()
1300                 for elem_size in 0..10 {  in test_dst_layout_pad_to_align_with_dst()
1303                         size_info: SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }),  in test_dst_layout_pad_to_align_with_dst()
1327             fn from((offset, elem_size): (usize, usize)) -> SizeInfo {  in test_validate_cast_and_convert_metadata()
1328                 SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in test_validate_cast_and_convert_metadata()
1534                     SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in test_validate_cast_and_convert_metadata()
1536                             let without_padding = offset + elems * elem_size;  in test_validate_cast_and_convert_metadata()
1617             elem_size: Option<usize>,  in test_validate_rust_layout()  field
1631             let dst = args.elem_size.is_some();  in test_validate_rust_layout()
1633                 let size_info = match args.elem_size {  in test_validate_rust_layout()
1634                     Some(elem_size) => {  in test_validate_rust_layout()
1635                         SizeInfo::SliceDst(TrailingSliceLayout { offset: args.offset, elem_size })  in test_validate_rust_layout()
1680                     args.offset + args.elem_size.map(|elem_size| elems * elem_size).unwrap_or(0);  in test_validate_rust_layout()
1704                 if args.elem_size.map(|elem_size| elem_size > 0).unwrap_or(true) {  in test_validate_rust_layout()
1748                 ($offset:literal, $align:literal $(, $elem_size:literal)?) => {{  in test_validate_rust_layout()
1750                     struct Foo([u8; $offset]$(, [[u8; $elem_size]])?);  in test_validate_rust_layout()
1755                         elem_size: {  in test_validate_rust_layout()
1758                             $(let ret = Some($elem_size);)?  in test_validate_rust_layout()
1786                             let _ = $elem_size;  in test_validate_rust_layout()
1973                     SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size: _ }) => {  in any()
2005             let elem_size: usize = kani::any();  in any()  localVariable
2008             kani::assume(elem_size < DstLayout::MAX_SIZE);  in any()
2011             TrailingSliceLayout { elem_size, offset }  in any()
2026         let Some(trailing_slice_size) = size_info.elem_size.checked_mul(meta) else {  in prove_requires_dynamic_padding()
2137                 elem_size: field_elem_size,  in prove_dst_layout_extend()
2141                     elem_size: composite_elem_size,  in prove_dst_layout_extend()