{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// their `external_name` giving `_Return<'a>`. This step is a bit involved.
    /// First we map the regions in the generic parameters `_Return<'1>` to
    /// See the [rustc-dev-guide chapter] for more info.