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.