On Aug 21, 2023, at 4:39 PM, Ryosuke Niwa <rniwa@apple.com> wrote:

Alternatively, we could add a new member function which returns CheckedPtr like `pageChecked()`.

Yes, I think that would be a good approach that would complement the static checker.

— Darin