Axes of pointer type:
-
Validity - Information about whether the pointer is safe to dereference to begin with. Options:
- Static guarantee that the pointer is valid and non-null
- Static guarantee that it is either valid or null,
and you can dynamically check
is_null()
- No guarantees—the pointer may be any
usize
.