{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"goal:"}]}
                    goal: target_ty,
                    scope: &scope,
                    config: hir::term_search::TermSearchConfig {