{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"goal.with(cx,"}]}
                            goal.with(cx, ty::TraitRef::new(cx, goal.predicate.def_id(), [elem_ty]))
                        tys.iter().map(|elem_ty| {
                        }),