{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// deref operation, immediately followed by one or more projections.
    /// When such a read happens, it is guaranteed that the only use of the returned value is a
    CopyForDeref(Place),