{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// See [RFC 2457] for more details.
    /// [RFC 2457]: https://github.com/rust-lang/rfcs/blob/master/text/2457-non-ascii-idents.md