{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"assert!(!UndoLogs::<UndoLog<'_>>::in_snapshot(&self.undo_log));"}]}
        assert!(!UndoLogs::<UndoLog<'_>>::in_snapshot(&self.undo_log));
    pub fn take_and_reset_data(&mut self) -> RegionConstraintData<'tcx> {