46     Sized { size: usize },  enumerator
78             SizeInfo::Sized { size } => SizeInfo::Sized { 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()
384             SizeInfo::Sized { size: preceding_size } => {  in extend()
409                         SizeInfo::Sized { size: field_size } => {  in extend()
425                             SizeInfo::Sized { size }  in extend()
498             SizeInfo::Sized { size: unpadded_size } => {  in pad_to_align()
504                 (padding, SizeInfo::Sized { size })  in pad_to_align()
533             SizeInfo::Sized { .. } => false,  in requires_dynamic_padding()
677             SizeInfo::Sized { size } => {  in validate_cast_and_convert_metadata()
761     pub(crate) struct CastFrom<Dst: ?Sized> {
770         Src: KnownLayout + ?Sized,
771         Dst: KnownLayout + ?Sized,
779         Src: KnownLayout + ?Sized,
780         Dst: KnownLayout + ?Sized,
790         Src: KnownLayout + ?Sized,
791         Dst: KnownLayout + ?Sized,
809             struct CastParams<Src: ?Sized, Dst: ?Sized> {  in project()
905             impl<Src: ?Sized, Dst: ?Sized> Copy for CastParams<Src, Dst> {}  in project()
906             impl<Src: ?Sized, Dst: ?Sized> Clone for CastParams<Src, Dst> {  in project()
912             impl<Src: ?Sized, Dst: ?Sized> CastParams<Src, Dst> {  in project()
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()
1021             impl<Src: KnownLayout + ?Sized, Dst: KnownLayout + ?Sized> CastParams<Src, Dst> {  in project()
1065             trait Params<Src: ?Sized> {  in project()
1071                 Src: KnownLayout + ?Sized,  in project()
1072                 Dst: KnownLayout + ?Sized,  in project()
1144                             size_info: SizeInfo::Sized { size: align },  in test_dst_layout_extend_sized_with_sized()
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()
1321                 SizeInfo::Sized { size }  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()
1564                     SizeInfo::Sized { size } => size,  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()
1626         fn test<T: ?Sized, W: Fn(usize) -> NonNull<T>>(  in test_validate_rust_layout()  argument
1637                     None => SizeInfo::Sized {  in test_validate_rust_layout()
1972                     SizeInfo::Sized { size } => Layout::from_size_align(size, align.get()),  in any()
1996                     SizeInfo::Sized { size }  in any()
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()
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()