vstd::layout

Function is_sized

Source 
pub fn is_sized<V: ?Sized>() -> bool
👎Deprecated: is_sized is now defunct; lemmas that require V to be sized should now use the trait bound V: Sized instead of is_sized<V>
Expand description