{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"return;"}]}
        return;
        tcx.dcx().delayed_bug("encountered errors when checking RPITIT refinement (selection)");
    };