47     SliceDst(TrailingSliceLayout<E>),  enumerator
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()
256             size_info: SizeInfo::SliceDst(TrailingSliceLayout {  in for_slice()
382             SizeInfo::SliceDst(..) => const_panic!("Cannot extend a DST with additional fields."),  in extend()
427                         SizeInfo::SliceDst(TrailingSliceLayout {  in extend()
447                             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in extend()
510             size_info @ SizeInfo::SliceDst(_) => (0, size_info),  in pad_to_align()
534             SizeInfo::SliceDst(trailing_slice_layout) => {  in requires_dynamic_padding()
683             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in validate_cast_and_convert_metadata()
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()
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()
1303                         size_info: SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }),  in test_dst_layout_pad_to_align_with_dst()
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()
1565                     SizeInfo::SliceDst(TrailingSliceLayout { offset, .. }) => {  in test_validate_cast_and_convert_metadata()
1635                         SizeInfo::SliceDst(TrailingSliceLayout { offset: args.offset, elem_size })  in test_validate_rust_layout()
1973                     SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_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()
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()