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>