{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"sema:"}]}
                    sema: &sema,
                let ctx = hir::term_search::TermSearchCtx {
                    scope: &scope,