#checked-pointers

Carbon's Checked Pointers: Compile-Time Null Safety for Systems Code

Carbon introduces checked pointers as a language-level mechanism to prevent null dereference at compile time, offering a safer alternative to raw C++ pointers while maintaining interoperability.