{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"config:"}]}
                    config: hir::term_search::TermSearchConfig {
                    goal: target_ty,
                        enable_borrowcheck: true,