285         let mut layout = DstLayout::new_zst(repr_align);  in for_repr_c_struct()  localVariable
292             layout = layout.extend(field, repr_packed);  in for_repr_c_struct()
296         layout = layout.pad_to_align();  in for_repr_c_struct()
310         layout  in for_repr_c_struct()
1109         let layout = DstLayout::for_slice::<u32>();  in test_dst_layout_for_slice()  localVariable
1110         match layout.size_info {  in test_dst_layout_for_slice()
1117         assert_eq!(layout.align.get(), 4);  in test_dst_layout_for_slice()
1236             let layout = DstLayout {  in test_dst_layout_pad_to_align_with_sized()  localVariable
1243                 layout.pad_to_align(),  in test_dst_layout_pad_to_align_with_sized()
1301                     let layout = DstLayout {  in test_dst_layout_pad_to_align_with_dst()  localVariable
1306                     assert_eq!(layout.pad_to_align(), layout);  in test_dst_layout_pad_to_align_with_dst()
1332         fn layout<S: Into<SizeInfo>>(s: S, align: usize) -> DstLayout {  in test_validate_cast_and_convert_metadata()  function
1384                     layout($size:tt, $align:tt)  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()
1460             layout(((1..8) | ((1..8), (1..8))), _).validate([0], [0], _),  in test_validate_cast_and_convert_metadata()
1464             layout(((2..8) | ((2..8), (2..8))), _).validate([0], [1], Prefix),  in test_validate_cast_and_convert_metadata()
1468             layout(((2..8) | ((2..8), (2..8))), _).validate([0x1000_0000 - 1], [1], Suffix),  in test_validate_cast_and_convert_metadata()
1473         test!(layout(_, [2]).validate(ODDS, _, Prefix), Ok(Err(MetadataCastError::Alignment)));  in test_validate_cast_and_convert_metadata()
1474         test!(layout(_, [2]).validate(ODDS, _, Prefix), Ok(Err(MetadataCastError::Alignment)));  in test_validate_cast_and_convert_metadata()
1477         test!(layout(_, [2]).validate(EVENS, ODDS, Suffix), Ok(Err(MetadataCastError::Alignment)));  in test_validate_cast_and_convert_metadata()
1478         test!(layout(_, [2]).validate(EVENS, ODDS, Suffix), Ok(Err(MetadataCastError::Alignment)));  in test_validate_cast_and_convert_metadata()
1496         test!(layout((_, [0]), _).validate(_, _, _), Err(Some(msgs::TRAILING) | None),);  in test_validate_cast_and_convert_metadata()
1499         test!(layout(_, _).validate([usize::MAX], (1..100), _), Err(Some(msgs::OVERFLOW) | None));  in test_validate_cast_and_convert_metadata()
1500         test!(layout(_, _).validate((1..100), [usize::MAX], _), Err(Some(msgs::OVERFLOW) | None));  in test_validate_cast_and_convert_metadata()
1502             layout(_, _).validate(  in test_validate_cast_and_convert_metadata()
1514             (layout, addr, bytes_len, cast_type): (DstLayout, usize, usize, CastType),  in test_validate_cast_and_convert_metadata()  argument
1517                 layout.validate_cast_and_convert_metadata(addr, bytes_len, cast_type)  in test_validate_cast_and_convert_metadata()
1519                 let (size_info, align) = (layout.size_info, layout.align);  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()
1566                         offset + util::padding_needed_for(offset, layout.align)  in test_validate_cast_and_convert_metadata()
1578                 let misaligned = (base + addr) % layout.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()
1632             let layout = {  in test_validate_rust_layout()  localVariable
1706                     let (got_elems, got_split_at) = layout  in test_validate_rust_layout()
2017         let layout: DstLayout = kani::any();  in prove_requires_dynamic_padding()  localVariable
2019         let SizeInfo::SliceDst(size_info) = layout.size_info else {  in prove_requires_dynamic_padding()
2044         let trailing_padding = util::padding_needed_for(unpadded_size, layout.align);  in prove_requires_dynamic_padding()
2046         if !layout.requires_dynamic_padding() {  in prove_requires_dynamic_padding()
2196         let layout: DstLayout = kani::any();  in prove_dst_layout_pad_to_align()  localVariable
2198         let padded = layout.pad_to_align();  in prove_dst_layout_pad_to_align()
2201         assert_eq!(padded.align, layout.align);  in prove_dst_layout_pad_to_align()
2203         if let SizeInfo::Sized { size: unpadded_size } = layout.size_info {  in prove_dst_layout_pad_to_align()
2209                 let padding = padding_needed_for(unpadded_size, layout.align);  in prove_dst_layout_pad_to_align()
2215                     Layout::from_size_align(unpadded_size, layout.align.get()).unwrap();  in prove_dst_layout_pad_to_align()
2217                 assert_eq!(padded_analog.align(), layout.align.get());  in prove_dst_layout_pad_to_align()
2224             assert_eq!(padded.size_info, layout.size_info);  in prove_dst_layout_pad_to_align()