{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"assert_eq!(vid,"}]}
        assert_eq!(vid, u_vid.vid);
        let u_vid = self.unification_table_mut().new_key(RegionVariableValue::Unknown { universe });
        self.undo_log.push(AddVar(vid));