{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// fold the return value and replace any such regions with a *new*
    /// of region variables created during the snapshot (here, `?a`). We
    /// region variable (e.g., `?b`) and return the result (`&?b [u32]`).