Searched refs:trailing_padding (Results 1 – 1 of 1) sorted by relevance
2044 let trailing_padding = util::padding_needed_for(unpadded_size, layout.align); in prove_requires_dynamic_padding() localVariable2047 assert!(trailing_padding == 0); in prove_requires_dynamic_padding()