{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
    if !ocx.select_all_or_error().is_empty() {
    ));
        tcx.dcx().delayed_bug("encountered errors when checking RPITIT refinement (selection)");