{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// This loop implements one step in that search; the autoderef loop
    /// supports builtin indexing or overloaded indexing.
    /// is implemented by `lookup_indexing`.