nonnull_dangling_spec

vstd_extra::external::nonnull

Function nonnull_dangling_spec 

Source 
pub uninterp fn nonnull_dangling_spec<T>() -> NonNull<T>
Expand description