{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"vars_pre_snapshot.const_var_len,"}]}
            vars_pre_snapshot.const_var_len,
            &mut inner.const_unification_table(),
        );