# Non-Null Pointers This mirrors the `Pointer` type’s properties and behavior, except that it encloses a `NonNull` rather than a raw pointer.