{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// of region variables created during the snapshot (here, `?a`). We
    /// So what we do is to keep a list (`region_vars`, in the code below)
    /// fold the return value and replace any such regions with a *new*