Lines Matching refs:unpadded_size
498 SizeInfo::Sized { size: unpadded_size } => { in pad_to_align()
499 let padding = padding_needed_for(unpadded_size, self.align); in pad_to_align()
500 let size = match unpadded_size.checked_add(padding) { in pad_to_align()
1256 (unpadded { size: $unpadded_size:expr, align: $unpadded_align:expr } 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()
2032 let Some(unpadded_size) = size_info.offset.checked_add(trailing_slice_size) else { in prove_requires_dynamic_padding()
2038 if unpadded_size >= DstLayout::MAX_SIZE { in prove_requires_dynamic_padding()
2044 let trailing_padding = util::padding_needed_for(unpadded_size, layout.align); in prove_requires_dynamic_padding()
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()
2210 assert_eq!(padded_size, unpadded_size + padding); 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()