{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().int_unification_table().new_key(ty::IntVarValue::Unknown);"}]}
            self.inner.borrow_mut().int_unification_table().new_key(ty::IntVarValue::Unknown);
        let next_int_var_id =
        Ty::new_int_var(self.tcx, next_int_var_id)