{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"idx:"}]}
                    idx: chalk_ir::PlaceholderIndex,
                    &mut self,
                    outer_binder: DebruijnIndex,