Closed
Description
Rust 1.25 introduces a NonNull
type, which represents a pointer that must always be non-null. It would be nice to switch the ArrayBase.ptr
field to type NonNull<S::Elem>
to indicate that the pointer must always be non-null.
However, I'm not quite sure about the implications of NonNull<T>
being "covariant over T
". After reading this page in the nomicon, I think this is okay for Array
, ArrayView
, ArrayViewMut
, and ArcArray
, but I'm not sure that it's okay in general for arbitrary S: Data
.
Metadata
Metadata
Assignees
Labels
No labels