35     pub(crate) size_info: SizeInfo,  field
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()
379         let (interfield_padding, size_info) = match self.size_info {  in extend()
408                     match field.size_info {  in extend()
458         DstLayout { align, size_info, statically_shallow_unpadded }  in extend()
495         let (static_padding, size_info) = match self.size_info {  in pad_to_align()
510             size_info @ SizeInfo::SliceDst(_) => (0, size_info),  in pad_to_align()
515         DstLayout { align: self.align, size_info, statically_shallow_unpadded }  in pad_to_align()
532         match self.size_info {  in requires_dynamic_padding()
635         let size_info = match self.size_info.try_to_nonzero_elem_size() {  in validate_cast_and_convert_metadata()  localVariable
636             Some(size_info) => size_info,  in validate_cast_and_convert_metadata()
676         let (elems, self_bytes) = match size_info {  in validate_cast_and_convert_metadata()
921                     let inner = match (src.size_info, dst.size_info) {  in project()
1110         match layout.size_info {  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()
1334                 size_info: s.into(),  in test_validate_cast_and_convert_metadata()
1393                     ).for_each(|(size_info, align, addr, bytes_len, cast_type)| {  in test_validate_cast_and_convert_metadata()
1406 …            layout(size_info, align).validate_cast_and_convert_metadata(addr, bytes_len, cast_type)  in test_validate_cast_and_convert_metadata()
1416 …"layout({:?}, {}).validate_cast_and_convert_metadata({}, {}, {:?})" ,size_info, align, addr, bytes…  in test_validate_cast_and_convert_metadata()
1519                 let (size_info, align) = (layout.size_info, layout.align);  in test_validate_cast_and_convert_metadata()
1522                     size_info, align, addr, bytes_len, cast_type, elems, split_at  in test_validate_cast_and_convert_metadata()
1529                 let sized = matches!(layout.size_info, SizeInfo::Sized { .. });  in test_validate_cast_and_convert_metadata()
1532                 let resulting_size = match layout.size_info {  in test_validate_cast_and_convert_metadata()
1563                 let min_size = match layout.size_info {  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()
1592                 .map(|(size_info, align)| layout(size_info, align));  in test_validate_cast_and_convert_metadata()
1633                 let size_info = match args.elem_size {  in test_validate_rust_layout()  localVariable
1650                 DstLayout { size_info, align: args.align, statically_shallow_unpadded: false }  in test_validate_rust_layout()
1961             let size_info: SizeInfo = kani::any();  in any()  localVariable
1971                 match size_info {  in any()
1982             Self { align: align, size_info: size_info, statically_shallow_unpadded: kani::any() }  in any()
2019         let SizeInfo::SliceDst(size_info) = layout.size_info else {  in prove_requires_dynamic_padding()
2026         let Some(trailing_slice_size) = size_info.elem_size.checked_mul(meta) else {  in prove_requires_dynamic_padding()
2032         let Some(unpadded_size) = size_info.offset.checked_add(trailing_slice_size) else {  in prove_requires_dynamic_padding()
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()
2105         match field.size_info {  in prove_dst_layout_extend()
2107                 if let SizeInfo::Sized { size: composite_size } = composite.size_info {  in prove_dst_layout_extend()
2142                 }) = composite.size_info  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()
2224             assert_eq!(padded.size_info, layout.size_info);  in prove_dst_layout_pad_to_align()