{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.undo_log.push(UndoLog::DuplicateOpaqueType);"}]}
        self.undo_log.push(UndoLog::DuplicateOpaqueType);
        self.storage.duplicate_entries.push((key, hidden_type));
    }