{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// where one 'x' was from the user and one 'x' came from the macro.
    /// A never pattern by definition indicates an unreachable case. For example, matching on