{"ast_node_type":"variable","tokens":[{"end":29,"kind":"keyword","start":0,"text":"let"}]}
        let next_int_var_id =
    pub fn next_int_var(&self) -> Ty<'tcx> {
            self.inner.borrow_mut().int_unification_table().new_key(ty::IntVarValue::Unknown);