{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"assert!(self.num_open_snapshots"}]}
        assert!(self.num_open_snapshots > 0);
        assert!(self.logs.len() >= snapshot.undo_len);
    }