47     SliceDst(TrailingSliceLayout<E>),
52 pub(crate) struct TrailingSliceLayout<E = usize> {  struct
79             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in try_to_nonzero_elem_size()  argument
81                     SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in try_to_nonzero_elem_size()
256             size_info: SizeInfo::SliceDst(TrailingSliceLayout {  in for_slice()
427                         SizeInfo::SliceDst(TrailingSliceLayout {  in extend()
447                             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size })  in extend()
683             SizeInfo::SliceDst(TrailingSliceLayout { offset, elem_size }) => {  in validate_cast_and_convert_metadata()
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()
2003     impl kani::Arbitrary for TrailingSliceLayout {  implementation
2011             TrailingSliceLayout { elem_size, offset }  in any()
2135             SizeInfo::SliceDst(TrailingSliceLayout {  in prove_dst_layout_extend()
2139                 if let SizeInfo::SliceDst(TrailingSliceLayout {  in prove_dst_layout_extend()