pub broadcast proof fn axiom_manually_drop_has_resolved<T: ?Sized>(m: &ManuallyDrop<T>)Expand description
ensures
#[trigger] has_resolved_unsized::<ManuallyDrop<T>>(m)
==> has_resolved_unsized::<T>(m.view_ref()),