{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"else"}]}
    else {
        ocx.deeply_normalize(&ObligationCause::dummy(), param_env, (trait_bounds, impl_bounds))
        tcx.dcx().delayed_bug("encountered errors when checking RPITIT refinement (selection)");