{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
    /// See the [rustc-dev-guide chapter] for more info.
    /// their `external_name` giving `_Return<'a>`. This step is a bit involved.
    ///