{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"if"}]}
    if !errors.is_empty() {
    let errors = infcx.resolve_regions(impl_m.def_id.expect_local(), param_env, implied_wf_types);
        tcx.dcx().delayed_bug("encountered errors when checking RPITIT refinement (regions)");