{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// So what we do is to keep a list (`region_vars`, in the code below)
    ///
    /// of region variables created during the snapshot (here, `?a`). We