{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"hir::term_search::TermSearchCtx"}]}
                        hir::term_search::TermSearchCtx { goal: target_ty, ..term_search_ctx };
                    let term_search_ctx =
                    let target_exprs = hir::term_search::term_search(&term_search_ctx);