syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"elaborate(cx,"}]}
source_snippet:     elaborate(cx, [trait_ref.upcast(cx)]).filter_only_self().filter_to_traits()
context_before: ) -> FilterToTraits<I, Elaborator<I, I::Clause>> {
context_after: }