{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"binding_id,"}]}
                        binding_id,
                        ty_hir_id_opt: ty.map(|ty| ty.hir_id),
                        span: pat.span,