77         Some(match *self {  in try_to_nonzero_elem_size()
80                 if let Some(elem_size) = NonZeroUsize::new(elem_size) {  in try_to_nonzero_elem_size()
108         Some(min_align) => min_align,
119             Some(max_align) => max_align,
132         Some(max_align) => max_align,
139         Some(max_align) => max_align,
187             Some(align) => align,  in new_zst()
216                 Some(align) => align,  in for_type()
253                 Some(align) => align,  in for_slice()
347             Some(max_align) => max_align,  in extend()
360             if let Some(repr_packed) = repr_packed {  in extend()
402                     Some(offset) => offset,  in extend()
422                                 Some(size) => size,  in extend()
444                                 Some(offset) => offset,  in extend()
501                     Some(size) => size,  in pad_to_align()
636             Some(size_info) => size_info,  in validate_cast_and_convert_metadata()
696                     Some(max) => max,  in validate_cast_and_convert_metadata()
935                             let offset_delta = if let Some(od) = src_size.checked_sub(dst.offset) {  in project()
941                             let dst_elem_size = if let Some(e) = NonZeroUsize::new(dst.elem_size) {  in project()
966                             let offset_delta = if let Some(od) = src.offset.checked_sub(dst.offset)  in project()
973                             let dst_elem_size = if let Some(e) = NonZeroUsize::new(dst.elem_size) {  in project()
1017                     Some(CastParams { inner, _src: PhantomData, _dst: PhantomData })  in project()
1076                         Some(params) => params,  in project()
1193         let packs = core::iter::once(None).chain(aligns.clone().map(Some));  in test_dst_layout_extend_sized_with_dst()
1444 …             (@generate_opt_usize _) => { [None].into_iter().chain((0..8).map(Some).into_iter()) };  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()
1507             Err(Some(msgs::OVERFLOW) | None)  in test_validate_cast_and_convert_metadata()
1634                     Some(elem_size) => {  in test_validate_rust_layout()
1656                 if let Some(addr_of_slice_field) = addr_of_slice_field {  in test_validate_rust_layout()
1758                             $(let ret = Some($elem_size);)?  in test_validate_rust_layout()
1783 …                 let f: Option<fn(NonNull<Foo>) -> NonNull<u8>> = Some(|ptr: NonNull<Foo>| unsafe {  in test_validate_rust_layout()
2026         let Some(trailing_slice_size) = size_info.elem_size.checked_mul(meta) else {  in prove_requires_dynamic_padding()  localVariable
2032         let Some(unpadded_size) = size_info.offset.checked_add(trailing_slice_size) else {  in prove_requires_dynamic_padding()  localVariable
2059         if let Some(max_align) = packed {  in prove_dst_layout_extend()
2182         if let Some(max_align) = packed {  in prove_dst_layout_extend_dst_panics()