Searched refs:THEORETICAL_MAX_ALIGN (Results 1 – 1 of 1) sorted by relevance
117 pub(crate) const THEORETICAL_MAX_ALIGN: NonZeroUsize = constant348 None => Self::THEORETICAL_MAX_ALIGN, in extend()1964 kani::assume(align < DstLayout::THEORETICAL_MAX_ALIGN); in any()2083 let field_align = min(field.align, packed.unwrap_or(DstLayout::THEORETICAL_MAX_ALIGN)); in prove_dst_layout_extend()