{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"for"}]}
            for (idx, assumption) in elaborate::supertraits(cx, principal_trait_ref).enumerate() {
            let principal_trait_ref = principal.with_self_ty(cx, self_ty);
                candidates.extend(G::probe_and_consider_object_bound_candidate(