{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"goal.with(ecx.cx(),"}]}
                goal.with(ecx.cx(), goal.predicate.trait_ref);
            let trait_goal: Goal<I, ty::TraitPredicate<I>> =
            ecx.compute_trait_goal(trait_goal)