{"ast_node_type":"variable","tokens":[{"end":98,"kind":"keyword","start":0,"text":"let"}]}
                        let trait_goal: Goal<I, ty::TraitPredicate<I>> = goal.with(cx, trait_ref);
                    self.probe(|_| ProbeKind::ShadowedEnvProbing).enter(|ecx| {
                        ecx.compute_trait_goal(trait_goal)