{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // equating the opaque below, but we should clean this up in the new solver.
    // This isn't necessary for correctness, since we register these bounds when
    for (predicate, pred_span) in