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