size_of_val_as_usize

vstd::layout

Function size_of_val_as_usize 

Source 
pub open spec fn size_of_val_as_usize<V: ?Sized>(val: &V) -> usize
Expand description
recommends
spec_size_of_val::<V>(val) as usize as int == spec_size_of_val::<V>(val),
{ spec_size_of_val::<V>(val) as usize }