{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// - other pointers returned by this method, and
    /// Crucially this pointer is compatible with:
    /// - references returned from `deref()`, as long as there was no write.