{"ast_node_type":"variable","tokens":[{"end":23,"kind":"keyword","start":0,"text":"let"}]}
            let goals =
        self.probe_trait_candidate(source).enter(|ecx| {
                ecx.enter_forall(constituent_tys(ecx, goal.predicate.self_ty())?, |ecx, tys| {