On Aug 21, 2023, at 4:41 PM, Darin Adler <darin@apple.com> wrote:

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.

Okay, let’s go with this solution since others have expressed concerns for ref churns in the past.

- R. Niwa