#safety-features

Using Checked Pointers in Carbon for Safer C++ Interop

Explains how Carbon’s checked pointers add runtime bounds and null safety to raw pointers from C++, with a worked example, trade‑offs, and steps to try the feature.