{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// where one 'x' was from the user and one 'x' came from the macro.
    /// This is done hygienically: this could arise for a macro that expands into an or-pattern
    ///