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