Searched defs:SizeInfo (Results 1 – 1 of 1) sorted by relevance
45 pub(crate) enum SizeInfo<E = usize> { enum70 impl SizeInfo { impl1319 impl From<usize> for SizeInfo { in test_validate_cast_and_convert_metadata() implementation1320 fn from(size: usize) -> SizeInfo { in test_validate_cast_and_convert_metadata()1326 impl From<(usize, usize)> for SizeInfo { in test_validate_cast_and_convert_metadata() implementation1327 fn from((offset, elem_size): (usize, usize)) -> SizeInfo { in test_validate_cast_and_convert_metadata() argument1986 impl kani::Arbitrary for SizeInfo { implementation2019 let SizeInfo::SliceDst(size_info) = layout.size_info else { in prove_requires_dynamic_padding() localVariable