{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// non-inline bits of HIR can be tracked and hashed separately.
    /// The most common choice is `OnlyBodies`, which will cause the visitor to