{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"for"}]}
    for (predicate, pred_span) in
    // equating the opaque below, but we should clean this up in the new solver.
        tcx.explicit_item_bounds(def_id).iter_instantiated_copied(tcx, args)