{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"\"idx:"}]}
                "idx: {} len: {}",
                idx <= self.params.len_type_or_consts(),
                idx,