{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// region variable was popped when we popped the snapshot.
    /// So what we do is to keep a list (`region_vars`, in the code below)